← authors · overview

• Omega-Regular Objectives in Model-Free Reinforcement Learning
  2018 · 6 citations
• Mungojerrie: Reinforcement Learning of Linear-Time Objectives
  2021 · 3 citations
• Policy Synthesis and Reinforcement Learning for Discounted LTL
  2023 · 3 citations
• Model-free Reinforcement Learning for Branching Markov Decision Processes
  2021 · 1 citations
• Omega-Regular Reward Machines
  2023 · 1 citations
• A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
  2023 · 1 citations
• Omega-Regular Decision Processes
  2023 · 1 citations
• Assume-Guarantee Reinforcement Learning
  2023 · 1 citations
• Formal Controller Synthesis for Continuous-Space MDPs via Model-Free Reinforcement Learning
  2020
• Alternating Good-for-MDP Automata
  2022
• Recursive Reinforcement Learning
  2022