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

Yuvaraj Selvaraj Jonas Krook Wolfgang Ahrendt Martin Fabian

Published in: ICFEM (2022)

Keyphrases

dynamic logic
imperative programs
modal logic
propositional dynamic logic
reasoning about actions
control system
reinforcement learning
fault diagnosis
agent programming
real time
controller design
classical first order logic
data sets
multiple faults