Jonas Keinholz

发表

Formalising Traffic Rules for Autonomous Vehicles Involving Multiple Lanes in {Isabelle/HOL}

Matthias Althoff, Tobias Nipkow, Albert Rizaldi, 2017 .

Formalising and Monitoring Traffic Rules for Autonomous Vehicles Involving Multiple Lanes in {Isabelle/HOL}

Matthias Althoff, Tobias Nipkow, Albert Rizaldi, 2017 .

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL

Matthias Althoff, Tobias Nipkow, Albert Rizaldi, 2017, IFM.

Jonas Keinholz, Jonas Keinholz, 2018, Arch. Formal Proofs.