User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Rizaldi, Albert; Keinholz, Jonas; Huber, Monika; Feldle, Jochen; Immler, Fabian; Althoff, Matthias; Hilgendorf, Eric; Nipkow, Tobias 
Title:
Formalising and Monitoring Traffic Rules for Autonomous Vehicles Involving Multiple Lanes in {Isabelle/HOL} 
Book / Congress title:
Proc. of the 13th International Conference on integrated Formal Methods 
Congress (additional information):
accepted 
Year:
2017