TY  - RPRT
TI  - Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
AU  - Aditya Parameshwaran
AU  - Yue Wang
PY  - 2024
UR  - https://arxiv.org/abs/2409.10689
ID  - 2409.10689
ER  -