@misc{indiciaeab43a2b80da0,
  title = {Autonomous Vehicles Path Planning under Temporal Logic Specifications},
  author = {Akshay Dhonthi and Nicolas Schischka and Ernst Moritz Hahn and Vahid Hashemi},
  year = {2024},
  url = {https://arxiv.org/abs/2410.07845},
  note = {Source identifier: 2410.07845}
}