Vladislav Nenchev, Calum Imrie, Simos Gerasimou, Radu Calinescu. Code-Level Safety Verification for Automated Driving: A Case Study. 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 356-372, Springer, 2024. [doi]
Abstract is missing.