Peter Rivière, Tsutomu Kobayashi, Neeraj Kumar Singh 0001, Fuyuki Ishikawa, Yamine Aït Ameur, Guillaume Dupont. On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS. In Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu, editors, Formal Methods and Software Engineering - 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings. Volume 15394 of Lecture Notes in Computer Science, pages 314-331, Springer, 2024. [doi]
Abstract is missing.