TY - RPRT TI - Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration AU - Yiannis Kantaros AU - Jun Wang PY - 2024 UR - https://arxiv.org/abs/2410.12136 ID - 2410.12136 ER -