Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox

Julius Adelt, Timm Liebrenz, Paula Herber. Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox. In Gregor Engels, Regina Hebig, Matthias Tichy, editors, Software Engineering 2023, Fachtagung des GI-Fachbereichs Softwaretechnik, 20.-24. Februar 2023, Paderborn. Volume P-332 of LNI, pages 29-30, Gesellschaft für Informatik e.V., 2023. [doi]

Abstract

Abstract is missing.