Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty
Adelt, Julius; Herber, Paula; Niehage, Mathis; Remke, Anne
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Margaria, Tiziana; Steffen, Bernhard
Buchtitel: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part I
Seitenbereich: 299-319
Verlag: Springer
Erscheinungsort: Rhodes, Greece
Titel der Reihe: Lecture Notes in Computer Science
Nr. in Reihe: 13701
Status: Veröffentlicht
Veröffentlichungsjahr: 2022
Konferenz: Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, Rhodes, Griechenland
ISBN: 978-3-031-19848-9
Link zum Volltext: https://doi.org/10.1007/978-3-031-19849-6_18
Stichwörter: Hybrid Systems; Resilience; Reinforcement Learning; Formal Verification; Statistical Model Checking
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) |
| Niehage, Mathis Friedrich | Professur für Praktische Informatik (Prof. Remke) |
| Remke, Anne | Professur für Praktische Informatik (Prof. Remke) |