Formalising Traffic Rules for Accountability of Autonomous Vehicles. - Albert Rizaldi; Matthias Althoff (ITSC, 2015)

On time-memory trade-off for collision detection. - Albert Rizaldi; Sebastian Sontges; Matthias Althoff (Intelligent Vehicles Symposium, 2015)

On enlarging backward reachable sets via Zonotopic set membership. - Dongkun Han; Albert Rizaldi; Ahmed El-Guindy; Matthias Althoff (ISIC, 2016)

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler; Matthias Althoff (NFM, 2016)

Formalising and Monitoring Traffic Rules for Autonomous Vehicles in Isabelle/HOL. - Albert Rizaldi; Jonas Keinholz; Monika Huber 001; Jochen Feldle; Fabian Immler; Matthias Althoff; Eric Hilgendorf; Tobias Nipkow (IFM, 2017)

A Formally Verified Motion Planner for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler; Bastian Schürmann; Matthias Althoff (ATVA, 2018)

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. - Albert Rizaldi; Fabian Immler (Arch. Formal Proofs, 2020)

Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL (Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL) - Albert Rizaldi (2020)