Stefan Mitsch, Khalil Ghorbal, David Vogelbacher, André Platzer. Formal verification of obstacle avoidance and navigation of ground robots. I. J. Robotic Res., 36(12):1312-1340, 2017. [doi]
@article{MitschGVP17,
title = {Formal verification of obstacle avoidance and navigation of ground robots},
author = {Stefan Mitsch and Khalil Ghorbal and David Vogelbacher and André Platzer},
year = {2017},
doi = {10.1177/0278364917733549},
url = {https://doi.org/10.1177/0278364917733549},
researchr = {https://researchr.org/publication/MitschGVP17},
cites = {0},
citedby = {0},
journal = {I. J. Robotic Res.},
volume = {36},
number = {12},
pages = {1312-1340},
}