Formalising Traffic Rules for Accountability of Autonomous Vehicles
Lanelets: Efficient map representation for autonomous driving