Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL.

Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow

Browse the full IFM paper archive.