Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox
Adelt J; Liebrenz T; Herber P
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Gregor Engels; Regina Hebig; Matthias Tichy
Buchtitel: Software Engineering (Band P-332)
Seitenbereich: 29-30
Verlag: Gesellschaft für Informatik
Erscheinungsort: Paderborn
Titel der Reihe: LNI
Status: Veröffentlicht
Veröffentlichungsjahr: 2023
Sprache, in der die Publikation verfasst ist: Englisch
Konferenz: Software Engineering, Paderborn, Deutschland
Link zum Volltext: https://dl.gi.de/handle/20.500.12116/40113
Stichwörter: Formal Methods; Reinforcement Learning; Cyber-Physical Systems
Autor*innen der Universität Münster
| Adelt, Julius Laurin | Professur für Praktische Informatik (Prof. Herber) |
| Herber, Paula | Professur für Praktische Informatik (Prof. Herber) |
| Liebrenz, Timm | Professur für Praktische Informatik (Prof. Herber) |