Albert Rizaldi
Orcid: 0009-0008-9285-0980
According to our database1,
Albert Rizaldi
authored at least 8 papers
between 2015 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
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)
PhD thesis, 2020
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.
Arch. Formal Proofs, 2020
2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles.
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
Proceedings of the IEEE International Symposium on Intelligent Control, 2016
2015
Proceedings of the 2015 IEEE Intelligent Vehicles Symposium, 2015
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015