A Formally Verified Motion Planner for Autonomous Vehicles.

Albert Rizaldi, Fabian Immler, Bastian Schrmann, Matthias Althoff

Browse the full ATVA paper archive.