Julius Adelt, Robert Mensing, Paula Herber. Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. In Andre Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi 0001, editors, Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II. Volume 14934 of Lecture Notes in Computer Science, pages 208-228, Springer, 2024. [doi]
Abstract is missing.