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

Daqian Shao, Marta Kwiatkowska

Browse the full IJCAI paper archive.