Matthias Althoff

Cited by

	All	Since 2018
Citations	9584	7713
h-index	51	45
i10-index	175	163

1900

950

475

1425

200820092010201120122013201420152016201720182019202020212022202332 48 51 98 121 135 217 247 322 552 677 820 1233 1525 1842 1604

Public access

View all

147 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Niklas KochdumperPostdoctoral researcher at Stony Brook UniversityVerified email at tum.de
Andrea GiustiHead of RISE at Fraunhofer Italia ResearchVerified email at fraunhofer.it
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityVerified email at ece.cmu.edu
Aaron PereiraWissenschaftlicher MitarbeiterVerified email at tum.de
Moritz KlischatTechnical University of Munich, GermanyVerified email at tum.de
Goran FrehseProfessor of Computer Science, ENSTA ParisVerified email at ensta-paris.fr
Stefan B. LiuResearch Assistant, Technical University of MunichVerified email at tum.de
Christian SchillingAssistant Professor at Aalborg UniversityVerified email at cs.aau.dk
Albert RizaldiNIO GmbHVerified email at nio.io
John M. DolanThe Robotics Institute, Carnegie Mellon UniversityVerified email at andrew.cmu.edu
Stanley BakStony Brook UniversityVerified email at stonybrook.edu
Daniel HeßDLR BraunschweigVerified email at DLR.de
Sebastian MaierhoferTechnical University of MunichVerified email at tum.de
Hanna KrasowskiTechnical University of Munich (TUM)Verified email at tum.de
Xin ChenUniversity of New MexicoVerified email at unm.edu
Esra İçerEU-Researcher, Technische Universität MünchenVerified email at tum.de
Dirk WollherrChair of Automatic Control Engineering, Technische Universität MünchenVerified email at tum.de
Stefan SchuppUniversity Assistant at TU WienVerified email at tuwien.ac.at
Mayuresh PatilGeorgia TechVerified email at gatech.edu
Akshay RajhansMathWorksVerified email at mathworks.com

Matthias Althoff

Associate Professor in Computer Science, Technische Universität München

Verified email at in.tum.de - Homepage

Cyber-Physical Systems Formal Verification Reachability Analysis Robotics and Automated Driving Smart Grids


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Online verification of automated road vehicles using reachability analysis M Althoff, JM Dolan IEEE Transactions on Robotics 30 (4), 903-918, 2014	437	2014
An Introduction to CORA 2015. M Althoff ARCH@ CPSWeek 34, 120-151, 2015	421	2015
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	361	2009
Reachability analysis and its application to the safety assessment of autonomous cars M Althoff Technische Universität München, 2010	360	2010
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	338	2008
CommonRoad: Composable benchmarks for motion planning on roads M Althoff, M Koschi, S Manzinger 2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017	299	2017
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	196	2010
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets M Althoff Proceedings of the 16th international conference on Hybrid systems …, 2013	183	2013
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	173	2018
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	157	2011
Set propagation techniques for reachability analysis M Althoff, G Frehse, A Girard Annual Review of Control, Robotics, and Autonomous Systems 4, 369-395, 2021	142	2021
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	131	2011
Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles M Althoff, S Lutz IEEE Intelligent Vehicles Symposium, 1326-1333, 2018	128	2018
Reachability analysis of nonlinear differential-algebraic systems M Althoff, BH Krogh IEEE Transactions on Automatic Control 59 (2), 371-383, 2013	128	2013
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	119	2007
Generating critical test scenarios for automated vehicles with evolutionary algorithms M Klischat, M Althoff 2019 IEEE Intelligent Vehicles Symposium (IV), 2352-2358, 2019	117	2019
Reachable set computation for uncertain time-varying linear systems M Althoff, C Le Guernic, BH Krogh Proceedings of the 14th international conference on Hybrid systems …, 2011	113	2011
Formalising traffic rules for accountability of autonomous vehicles A Rizaldi, M Althoff 2015 IEEE 18th international conference on intelligent transportation …, 2015	111	2015
Set-based prediction of traffic participants on arbitrary road networks M Althoff, S Magdici IEEE Transactions on Intelligent Vehicles 1 (2), 187-202, 2016	103	2016
Adaptive cruise control with safety guarantees for autonomous vehicles S Magdici, M Althoff IFAC-PapersOnLine 50 (1), 5774-5781, 2017	99	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors