Albert Rizaldi
TítuloCitado porAño
Formalising traffic rules for accountability of autonomous vehicles
A Rizaldi, M Althoff
2015 IEEE 18th International Conference on Intelligent Transportation …, 2015
402015
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
222017
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
192016
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
82018
On time-memory trade-off for collision detection
A Rizaldi, S Söntges, M Althoff
2015 IEEE Intelligent Vehicles Symposium (IV), 1173-1180, 2015
72015
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
32016
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
A Rizaldi
Technische Universität München, 2019
2019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7