Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty
Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Editors: Margaria, Tiziana; Steffen, Bernhard
Book title: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
Page range: 299-319
Publisher: Springer
Place of publication: Rhodes, Greece
Title of series: Lecture Notes in Computer Science
Volume of series: 13701
Status: Published
Release year: 2022
Conference: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, Rhodes, Greece
ISBN: 978-3-031-19848-9
Link to the full text: https://doi.org/10.1007/978-3-031-19849-6_18
Keywords: Hybrid Systems; Resilience; Reinforcement Learning; Formal Verification; Statistical Model Checking
Authors from the University of Münster
| Adelt, Julius Laurin | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |
| Niehage, Mathis Friedrich | Professorship for practical computer science (Prof. Remke) |
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |