Controller Synthesis for Safety Critical Planning.

Andrea Orlandini, Marco Suriano, Amedeo Cesta, Alberto Finzi

Browse the full ICTAI paper archive.