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

Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt +1

Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee co…