← authors · overview

• Logically-Constrained Reinforcement Learning
  2018 · 38 citations
• Cautious Reinforcement Learning with Logical Constraints
  2020 · 25 citations
• Modular Deep Reinforcement Learning with Temporal Logic Specifications
  2019 · 23 citations
• Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
  2019 · 8 citations
• From Game-theoretic Multi-agent Log Linear Learning to Reinforcement Learning
  2018 · 6 citations
• Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Conditioned Options
  2020 · 3 citations
• DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  2019 · 2 citations