Παρακολούθηση
Albert Rizaldi
Albert Rizaldi
NIO GmbH
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα nio.io
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Formalising traffic rules for accountability of autonomous vehicles
A Rizaldi, M Althoff
2015 IEEE 18th international conference on intelligent transportation …, 2015
1222015
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, ...
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
1062017
A formally verified checker of the safe distance traffic rules for autonomous vehicles
A Rizaldi, F Immler, M Althoff
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN …, 2016
562016
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
372018
On time-memory trade-off for collision detection
A Rizaldi, S Söntges, M Althoff
2015 IEEE Intelligent Vehicles Symposium (IV), 1173-1180, 2015
132015
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
102016
Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL
A Rizaldi
Technische Universität München, 2019
12019
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–7