@misc{indiciae9ed207c1fe7c,
  title = {Temporal Logic Guided Safe Navigation for Autonomous Vehicles},
  author = {Aditya Parameshwaran and Yue Wang},
  year = {2025},
  url = {https://arxiv.org/abs/2501.13817},
  note = {Source identifier: 2501.13817}
}