Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOL

Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow

Publikation: Beitrag in Buch/Bericht/KonferenzbandKonferenzbeitragBegutachtung

60 Zitate (Scopus)

Fingerprint

Untersuchen Sie die Forschungsthemen von „Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOL“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science

Keyphrases