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