Login / Signup
Eric Hilgendorf
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Route Planning
Cut Elimination
Theorem Prover
Intelligent Transportation Systems
Top Venues
IFM
</>
Publications
</>
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)