← 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
• 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
• Safety Guarantees for Planning Based on Iterative Gaussian Processes
  2019 · 7 citations
• Goal Kernel Planning: Linearly-Solvable Non-Markovian Policies for Logical Tasks with Goal-Conditioned Options
  2020 · 3 citations
• Invariance in Policy Optimisation and Partial Identifiability in Reward Learning