Folgen
Matthias Althoff
Matthias Althoff
Associate Professor in Computer Science, Technische Universität München
Bestätigte E-Mail-Adresse bei in.tum.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Online verification of automated road vehicles using reachability analysis
M Althoff, JM Dolan
IEEE Transactions on Robotics 30 (4), 903-918, 2014
3892014
An Introduction to CORA 2015.
M Althoff
ARCH@ CPSWeek 34, 120-151, 2015
3622015
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
3342009
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
3182008
Reachability analysis and its application to the safety assessment of autonomous cars
M Althoff
Technische Universität München, 2010
3152010
CommonRoad: Composable benchmarks for motion planning on roads
M Althoff, M Koschi, S Manzinger
2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017
2472017
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
1802010
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
M Althoff
Proceedings of the 16th international conference on Hybrid systems …, 2013
1562013
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
1412018
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
1382011
Reachability analysis of nonlinear differential-algebraic systems
M Althoff, BH Krogh
IEEE Transactions on Automatic Control 59 (2), 371-383, 2013
1162013
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
1142011
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
1112007
Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles
M Althoff, S Lutz
IEEE Intelligent Vehicles Symposium, 1326-1333, 2018
1012018
Formalising traffic rules for accountability of autonomous vehicles
A Rizaldi, M Althoff
2015 IEEE 18th international conference on intelligent transportation …, 2015
1012015
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
1012011
Formal Verification of Phase-Locked Loops Using Reachability Analysis and Continuization
M Althoff, A Rajhans, BH Krogh, S Yaldiz, X Li, L Pileggi
Communications of the ACM 56 (10), 97-104, 2013
932013
Adaptive cruise control with safety guarantees for autonomous vehicles
S Magdici, M Althoff
IFAC-PapersOnLine 50 (1), 5774-5781, 2017
872017
Set-based prediction of traffic participants on arbitrary road networks
M Althoff, S Magdici
IEEE Transactions on Intelligent Vehicles 1 (2), 187-202, 2016
872016
Implementation of Interval Arithmetic in CORA 2016
M Althoff, D Grebenyuk
862016
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20