Jonas Keinholz

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 2

Top Topics

Intelligent Transportation Systems

Autonomous Vehicles

Top Venues

Arch. Formal Proofs

Publications

Jonas Keinholz
Matroids. Arch. Formal Proofs 2018 (2018)
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. IFM (2017)