TY  - RPRT
TI  - Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers
AU  - Disha Kamale
AU  - Sofie Haesaert
AU  - Cristian-Ioan Vasile
PY  - 2022
UR  - https://arxiv.org/abs/2209.09818
ID  - 2209.09818
ER  -