TY - RPRT TI - Autonomous Vehicles Path Planning under Temporal Logic Specifications AU - Akshay Dhonthi AU - Nicolas Schischka AU - Ernst Moritz Hahn AU - Vahid Hashemi PY - 2024 UR - https://arxiv.org/abs/2410.07845 ID - 2410.07845 ER -