On proving that an unsafe controller is not proven safe

DOI10.1016/j.jlamp.2023.100939MaRDI QIDQ6151623

Yuvaraj Selvaraj, Martin Fabian, Jonas Krook, Wolfgang Ahrendt

Publication date: 12 February 2024

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

zbMATH Keywords

hybrid systemstheorem provingformal verificationloop invariantautomated driving

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• ModelPlex: verified runtime validation of verified cyber-physical system models
• KeYmaera X: An Axiomatic Tactical Theorem Prover for Hybrid Systems
• Inferring Loop Invariants Using Postconditions
• Logical Foundations of Cyber-Physical Systems
• Unnamed Item

This page was built for publication: On proving that an unsafe controller is not proven safe