← authors · overview

• Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
  2019 · 8 citations
• Fulfilling Formal Specifications ASAP by Model-free Reinforcement Learning
  2023 · 3 citations
• RAPID: An Efficient Reinforcement Learning Algorithm for Small Language Models
  2025
• Effective Reinforcement Learning for Reasoning in Language Models
  2025
• Exploring with Sticky Mittens: Reinforcement Learning with Expert Interventions via Option Templates
  2022