On proving that an unsafe controller is not proven safe

DOI10.1016/J.JLAMP.2023.100939MaRDI QIDQ6151623zbMATH OpenFDO

Authors Yuvaraj Selvaraj, Jonas Krook, Wolfgang Ahrendt, M. Fabian

Publication date 12 February 2024

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

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/J.JLAMP.2023.100939

zbMATH Keywords

automated drivingformal verificationhybrid systemsloop invarianttheorem proving

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 1759605 (Why is no real title available?)
• Inferring Loop Invariants Using Postconditions
• KeYmaera X: an axiomatic tactical theorem prover for hybrid systems
• Logical foundations of cyber-physical systems
• ModelPlex: verified runtime validation of verified cyber-physical system models

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151623)