Login / Signup

Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees.

Daqian ShaoMarta Kwiatkowska
Published in: IJCAI (2023)
Keyphrases
  • model free reinforcement learning
  • learning algorithm
  • temporal logic
  • sample size
  • transition systems
  • bounded model checking