On How to Not Prove Faulty Controllers Safe in Differential Dynamic Logic.

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, Martin Fabian

Browse the full ICFEM paper archive.