An introduction to CORA 2015 M Althoff Proc. of the workshop on applied verification for continuous and hybrid …, 2015 | 486 | 2015 |
Online verification of automated road vehicles using reachability analysis M Althoff, JM Dolan IEEE Transactions on Robotics 30 (4), 903-918, 2014 | 484 | 2014 |
Reachability analysis and its application to the safety assessment of autonomous cars M Althoff Technische Universität München, 2010 | 412 | 2010 |
CommonRoad: Composable benchmarks for motion planning on roads M Althoff, M Koschi, S Manzinger 2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017 | 392 | 2017 |
Model-based probabilistic collision detection in autonomous driving M Althoff, O Stursberg, M Buss IEEE Transactions on Intelligent Transportation Systems 10 (2), 299-310, 2009 | 385 | 2009 |
Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization M Althoff, O Stursberg, M Buss 2008 47th IEEE Conference on Decision and Control, 4042-4048, 2008 | 366 | 2008 |
Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes M Althoff, O Stursberg, M Buss Nonlinear analysis: hybrid systems 4 (2), 233-249, 2010 | 212 | 2010 |
High-level decision making for safe and reasonable autonomous lane changing using reinforcement learning B Mirchevska, C Pek, M Werling, M Althoff, J Boedecker 2018 21st International Conference on Intelligent Transportation Systems …, 2018 | 211 | 2018 |
Set propagation techniques for reachability analysis M Althoff, G Frehse, A Girard Annual Review of Control, Robotics, and Autonomous Systems 4, 369-395, 2021 | 201 | 2021 |
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets M Althoff Proceedings of the 16th international conference on Hybrid systems …, 2013 | 197 | 2013 |
Comparison of Markov chain abstraction and Monte Carlo simulation for the safety assessment of autonomous cars M Althoff, A Mergel IEEE Transactions on Intelligent Transportation Systems 12 (4), 1237-1247, 2011 | 172 | 2011 |
Generating critical test scenarios for automated vehicles with evolutionary algorithms M Klischat, M Althoff 2019 IEEE Intelligent Vehicles Symposium (IV), 2352-2358, 2019 | 155 | 2019 |
Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles M Althoff, S Lutz IEEE Intelligent Vehicles Symposium, 1326-1333, 2018 | 153 | 2018 |
Zonotope bundles for the efficient computation of reachable sets M Althoff, BH Krogh 2011 50th IEEE conference on decision and control and European control …, 2011 | 139 | 2011 |
Reachability analysis of nonlinear differential-algebraic systems M Althoff, BH Krogh IEEE Transactions on Automatic Control 59 (2), 371-383, 2013 | 134 | 2013 |
Using online verification to prevent autonomous vehicles from causing accidents C Pek, S Manzinger, M Koschi, M Althoff Nature Machine Intelligence 2 (9), 518-528, 2020 | 127 | 2020 |
Pedestrian models for autonomous driving part ii: high-level models of human behavior F Camara, N Bellotto, S Cosar, F Weber, D Nathanael, M Althoff, J Wu, ... IEEE Transactions on Intelligent Transportation Systems 22 (9), 5453-5472, 2020 | 126 | 2020 |
Formalising traffic rules for accountability of autonomous vehicles A Rizaldi, M Althoff 2015 IEEE 18th international conference on intelligent transportation …, 2015 | 124 | 2015 |
Reachability analysis of linear systems with uncertain parameters and inputs M Althoff, O Stursberg, M Buss 2007 46th IEEE Conference on Decision and Control, 726-732, 2007 | 123 | 2007 |
Set-based prediction of traffic participants on arbitrary road networks M Althoff, S Magdici IEEE Transactions on Intelligent Vehicles 1 (2), 187-202, 2016 | 120 | 2016 |