Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems
Adelt, Julius; Brettschneider, Daniel; Herber, Paula
Research article in edited proceedings (conference) | Peer reviewedDetails about the publication
Publisher: Bouajjani A, Holik L, Wu Z
Book title: Automated Technology for Verification and Analysis - 20th International Symposium (ATVA) (Volume 13505)
Page range: 58-74
Publishing company: Springer
Place of publication: China
Title of series: Lecture Notes in Computer Science
Status: Published
Release year: 2022
Conference: Automated Technology for Verification and Analysis - 20th International Symposium, {ATVA} 2022, Virtual Event, China
ISBN: 978-3-031-19992-9
Link to the full text: https://doi.org/10.1007/978-3-031-19992-9\_4
Keywords: Hybrid systems; Reinforcement Learning; Formal Verification; Theorem Proving; Reusability
Authors from the University of Münster
| Adelt, Julius Laurin | Professorship for practical comuter science |
| Herber, Paula | Professorship for practical comuter science |