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

Yuvaraj Selvaraj Jonas Krook Wolfgang Ahrendt Martin Fabian

Published in: CoRR (2022)

Keyphrases

dynamic logic
modal logic
imperative programs
reasoning about actions
real time
data sets
fault diagnosis
multiple input
classical first order logic
reinforcement learning
fuzzy logic
first order logic
control strategy
agent programming