Albert Rizaldi

Publication Activity (10 Years)

Years Active: 2015-2020
Publications (10 Years): 7

Top Topics

Intelligent Transportation Systems

Structured Environments

Autonomous Vehicles

Top Venues

Arch. Formal Proofs

Intelligent Vehicles Symposium

Publications

Albert Rizaldi, Fabian Immler
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. Arch. Formal Proofs 2020 (2020)
Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff
A Formally Verified Motion Planner for Autonomous Vehicles. ATVA (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)
Dongkun Han, Albert Rizaldi, Ahmed El-Guindy, Matthias Althoff
On enlarging backward reachable sets via Zonotopic set membership. ISIC (2016)
Albert Rizaldi, Fabian Immler, Matthias Althoff
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles. NFM (2016)
Albert Rizaldi, Sebastian Sontges, Matthias Althoff
On time-memory trade-off for collision detection. Intelligent Vehicles Symposium (2015)
Albert Rizaldi, Matthias Althoff
Formalising Traffic Rules for Accountability of Autonomous Vehicles. ITSC (2015)