Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X

Paula Herber, Julius Adelt, Timm Liebrenz. Formal Verification of Intelligent Cyber-Physical Systems with the Interactive Theorem Prover KeYmaera X. In Sebastian Götz, Lukas Linsbauer, Ina Schaefer, Andreas Wortmann 0001, editors, Proceedings of the Software Engineering 2021 Satellite Events, Braunschweig/Virtual, Germany, February 22 - 26, 2021. Volume 2814 of CEUR Workshop Proceedings, CEUR-WS.org, 2021. [doi]

Abstract

Abstract is missing.