Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers.

Disha Kamale, Sofie Haesaert, Cristian-Ioan Vasile

Browse the full ICRA paper archive.