Albert Rizaldi
Título
Citado por
Citado por
Año
Formalising traffic rules for accountability of autonomous vehicles
A Rizaldi, M Althoff
2015 IEEE 18th international conference on intelligent transportation …, 2015
582015
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
412017
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
282016
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
142018
On time-memory trade-off for collision detection
A Rizaldi, S Söntges, M Althoff
2015 IEEE Intelligent Vehicles Symposium (IV), 1173-1180, 2015
92015
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
72016
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
A Rizaldi
Technische Universität München, 2019
12019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7