Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow. Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. In Nadia Polikarpova, Steve Schneider, editors, Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Volume 10510 of Lecture Notes in Computer Science, pages 50-66, Springer, 2017. [doi]

This author has not been identified. Look up 'Albert Rizaldi' in GoogleThis author has not been identified. Look up 'Jonas Keinholz' in GoogleThis author has not been identified. Look up 'Monika Huber' in GoogleThis author has not been identified. Look up 'Jochen Feldle' in GoogleThis author has not been identified. Look up 'Fabian Immler' in GoogleThis author has not been identified. Look up 'Matthias Althoff' in GoogleThis author has not been identified. Look up 'Eric Hilgendorf' in GoogleThis author has not been identified. Look up 'Tobias Nipkow' in Google

runs on WebDSL