Benutzer: Gast  Login
Autor(en):
Rizaldi, Albert; Keinholz, Jonas; Huber, Monika; Feldle, Jochen; Immler, Fabian; Althoff, Matthias; Hilgendorf, Eric; Nipkow, Tobias 
Titel:
Formalising Traffic Rules for Autonomous Vehicles Involving Multiple Lanes in {Isabelle/HOL} 
Kongress- / Buchtitel:
Proc. of the 13th International Conference on integrated Formal Methods 
Kongress / Zusatzinformationen:
accepted 
Jahr:
2017