Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees (IJCAI, 2023)

(untitled) - Shao, D; Kwiatkowska, M