TY  - RPRT
TI  - Safety and progress proofs for a reactive planner and controller for autonomous driving
AU  - Abolfazl Karimi
AU  - Manish Goyal
AU  - Parasara Sridhar Duggirala
PY  - 2021
UR  - https://arxiv.org/abs/2107.05815
ID  - 2107.05815
ER  -