Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems

Julius Adelt, Daniel Brettschneider, Paula Herber. Reusable Contracts for Safe Integration of Reinforcement Learning in Hybrid Systems. In Ahmed Bouajjani, Lukás Holík, Zhilin Wu, editors, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Volume 13505 of Lecture Notes in Computer Science, pages 58-74, Springer, 2022. [doi]

Abstract

Abstract is missing.