← authors · overview

• Cautious Reinforcement Learning with Logical Constraints
  2020 · 25 citations
• Modular Deep Reinforcement Learning with Temporal Logic Specifications
  2019 · 23 citations
• Certified Reinforcement Learning with Logic Guidance
  2019 · 15 citations
• Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees
  2019 · 8 citations
• LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
  2022 · 8 citations
• Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis
  2023 · 3 citations
• DeepSynth: Automata Synthesis for Automatic Task Segmentation in Deep Reinforcement Learning
  2019 · 2 citations
• Ranking Policy Decisions
  2020 · 1 citations