Sample efficient model-free reinforcement learning from LTL specifications with optimality guarantees - Shao, D; Kwiatkowska, M (IJCAI, 2023)