Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink

Julius Adelt, Sebastian Bruch, Paula Herber, Mathis Niehage, Anne Remke. Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink. In Bernhard Steffen, editor, Bridging the Gap Between AI and Reality - First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings. Volume 14380 of Lecture Notes in Computer Science, pages 94-118, Springer, 2023. [doi]

Abstract

Abstract is missing.