@conference{KaHaVa-ICRA-2023,
    author    = {Kamale, Disha and Haesaert, Sofie and Vasile, Cristian Ioan},
    title     = {{Cautious Planning with Incremental Symbolic Perception: Designing Verified Reactive Driving Maneuvers}},
    booktitle = {IEEE International Conference on Robotics and Automation (ICRA)},
    pages     = {1652--1658},
    month     = {May},
    address   = {London, UK},
    year      = {2023},
    note      = {\href{https://ieeexplore.ieee.org/abstract/document/10160960}{doi:10.1109/ICRA48891.2023.10160960}}
}