On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS.

Peter Rivire, Tsutomu Kobayashi, Neeraj Kumar Singh, Fuyuki Ishikawa, Yamine At Ameur, Guillaume Dupont

Browse the full ICFEM paper archive.