Albert Rizaldi

According to our database, Albert Rizaldi authored at least 8 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

PhD thesis, 2020

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.

Albert Rizaldi, Fabian Immler

Arch. Formal Proofs, 2020

2018

A Formally Verified Motion Planner for Autonomous Vehicles.

Albert Rizaldi, Fabian Immler, Bastian Schürmann, Matthias Althoff

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

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

Albert Rizaldi, Jonas Keinholz, Monika Huber, Jochen Feldle, Fabian Immler, Matthias Althoff, Eric Hilgendorf, Tobias Nipkow

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.

Albert Rizaldi, Fabian Immler, Matthias Althoff

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

On enlarging backward reachable sets via Zonotopic set membership.

Dongkun Han, Albert Rizaldi, Ahmed El-Guindy, Matthias Althoff

Proceedings of the IEEE International Symposium on Intelligent Control, 2016

2015

On time-memory trade-off for collision detection.

Albert Rizaldi, Sebastian Sontges, Matthias Althoff

Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015

Formalising Traffic Rules for Accountability of Autonomous Vehicles.

Albert Rizaldi, Matthias Althoff

Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015