Formalising Traffic Rules for Autonomous Vehicles Involving Multiple Lanes in {Isabelle/HOL}

Albert Rizaldi
Albert Rizaldi
Jonas Keinholz
Jonas Keinholz
Monika Huber
Monika Huber
Jochen Feldle
Jochen Feldle

integrated formal methods, 2017.

Cited by: 1|Bibtex|Views2
Other Links: academic.microsoft.com

Code:

Data:

Your rating :
0

 

Tags
Comments