Ilaria Xausa, Robert Baier, Olivier Bokanowski, Matthias Gerdts, Daniel Toepfer. Software for verification of collision avoidance algorithms via Optimal Control Techniques.
NETCO 2014 - New Trends on Optimal Control, Jun 2014, Tours, France.
⟨hal-01024587⟩