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

Open in new window