Albert Rizaldi
Cited by
Cited by
Formalising traffic rules for accountability of autonomous vehicles
A Rizaldi, M Althoff
2015 IEEE 18th international conference on intelligent transportation …, 2015
Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOL
A Rizaldi, J Keinholz, M Huber, J Feldle, F Immler, M Althoff, E Hilgendorf, ...
International conference on integrated formal methods, 50-66, 2017
A formally verified checker of the safe distance traffic rules for autonomous vehicles
A Rizaldi, F Immler, M Althoff
NASA Formal Methods Symposium, 175-190, 2016
A formally verified motion planner for autonomous vehicles
A Rizaldi, F Immler, B Schürmann, M Althoff
International Symposium on Automated Technology for Verification and …, 2018
On time-memory trade-off for collision detection
A Rizaldi, S Söntges, M Althoff
2015 IEEE Intelligent Vehicles Symposium (IV), 1173-1180, 2015
On enlarging backward reachable sets via zonotopic set membership
D Han, A Rizaldi, A El-Guindy, M Althoff
2016 IEEE International Symposium on Intelligent Control (ISIC), 1-8, 2016
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
A Rizaldi
Technische Universität München, 2019
The system can't perform the operation now. Try again later.
Articles 1–7