User: Guest  Login
If you experience problems opening the document, please try this link.
Title:

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in {Isabelle/HOL}

Document type:
Konferenzbeitrag
Author(s):
Rizaldi, Albert; Keinholz, Jonas; Huber, Monika; Feldle, Jochen; Immler, Fabian; Althoff, Matthias; Hilgendorf, Eric; Nipkow, Tobias
Pages contribution:
50-66
Book / Congress title:
Proc. of the 13th International Conference on integrated Formal Methods
Year:
2017
Fulltext / DOI:
doi:10.1007/978-3-319-66845-1_4
 BibTeX