Login / Signup
Sample Efficient Model-free Reinforcement Learning from LTL Specifications with Optimality Guarantees.
Daqian Shao
Marta Kwiatkowska
Published in:
CoRR (2023)
Keyphrases
</>
model checking
search space
cost function
bounded model checking