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
- Fulltext / DOI:
- doi:10.1007/978-3-319-66845-1_4
BibTeX