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 in {Isabelle/HOL} 
Pages contribution:
50-66 
Book / Congress title:
Proc. of the 13th International Conference on integrated Formal Methods 
Year:
2017