| Formalising traffic rules for accountability of autonomous vehicles A Rizaldi, M Althoff 2015 IEEE 18th international conference on intelligent transportation …, 2015 | 115 | 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, ... Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017 | 97 | 2017 |
| 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 | 52 | 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 | 36 | 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 | 13 | 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 | 10 | 2016 |
| Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL A Rizaldi Technische Universität München, 2019 | 1 | 2019 |
Matthias AlthoffAssociate Professor in Computer Science, Technische Universität MünchenVerified email at in.tum.de
