Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems
Adelt, Julius; Brettschneider, Daniel; Herber, Paula
Forschungsartikel in Sammelband (Konferenz) | Peer reviewedDetails zur Publikation
Herausgeber*innen: Bouajjani A, Holik L, Wu Z
Buchtitel: Automated Technology for Verification and Analysis - 20th International Symposium (ATVA) (Band 13505)
Seitenbereich: 58-74
Verlag: Springer
Erscheinungsort: China
Titel der Reihe: Lecture Notes in Computer Science
Status: Veröffentlicht
Veröffentlichungsjahr: 2022
Konferenz: Automated Technology for Verification and Analysis - 20th International Symposium, {ATVA} 2022, Virtual Event, China
ISBN: 978-3-031-19992-9
Link zum Volltext: https://doi.org/10.1007/978-3-031-19992-9\_4
Stichwörter: Hybrid systems; Reinforcement Learning; Formal Verification; Theorem Proving; Reusability
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) |