Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox
Adelt J; Liebrenz T; Herber P
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Gregor Engels; Regina Hebig; Matthias Tichy
Book title: Software Engineering (Volume P-332)
Page range: 29-30
Publisher: Gesellschaft für Informatik
Place of publication: Paderborn
Title of series: LNI
Status: Published
Release year: 2023
Language in which the publication is written: English
Conference: Software Engineering, Paderborn, Germany
Link to the full text: https://dl.gi.de/handle/20.500.12116/40113
Keywords: Formal Methods; Reinforcement Learning; Cyber-Physical Systems
Authors from the University of Münster
| Adelt, Julius Laurin | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |
| Liebrenz, Timm | Professorship for practical comuter science |