Matthias Althoff

Cytowane przez

	Wszystkie	Od 2018
Cytowania	8077	6203
h-indeks	47	41
i10-indeks	153	139

1900

950

475

1425

200820092010201120122013201420152016201720182019202020212022202332 47 50 98 125 132 217 250 324 551 666 799 1244 1519 1823 149

Dostęp publiczny

Wyświetl wszystko

134 artykuły

2 artykuły

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Niklas KochdumperPostdoctoral researcher at Stony Brook UniversityZweryfikowany adres z tum.de
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityZweryfikowany adres z ece.cmu.edu
Andrea GiustiResearch Fellow, Head of RISE at Fraunhofer Italia ResearchZweryfikowany adres z fraunhofer.it
Aaron PereiraWissenschaftlicher MitarbeiterZweryfikowany adres z tum.de
Stefan B. LiuResearch Assistant, Technical University of MunichZweryfikowany adres z tum.de
Moritz KlischatTechnical University of Munich, GermanyZweryfikowany adres z tum.de
Goran FrehseProfessor of Computer Science, ENSTA ParisZweryfikowany adres z ensta-paris.fr
Albert RizaldiNanyang Technological UniversityZweryfikowany adres z ntu.edu.sg
John M. DolanThe Robotics Institute, Carnegie Mellon UniversityZweryfikowany adres z andrew.cmu.edu
Daniel HeßDLR BraunschweigZweryfikowany adres z DLR.de
Christian SchillingAssistant Professor at Aalborg UniversityZweryfikowany adres z cs.aau.dk
Sebastian MaierhoferTechnical University of MunichZweryfikowany adres z tum.de
Xin ChenUniversity of DaytonZweryfikowany adres z udayton.edu
Hanna KrasowskiTechnical University of Munich (TUM)Zweryfikowany adres z tum.de
Stanley BakStony Brook UniversityZweryfikowany adres z stonybrook.edu
Esra İçerEU-Researcher, Technische Universität MünchenZweryfikowany adres z tum.de
Dirk WollherrChair of Automatic Control Engineering, Technische Universität MünchenZweryfikowany adres z tum.de
Mayuresh PatilGeorgia TechZweryfikowany adres z gatech.edu
Stefan SchuppUniversity Assistant at TU WienZweryfikowany adres z tuwien.ac.at
Akshay RajhansMathWorksZweryfikowany adres z mathworks.com

Obserwuj

Matthias Althoff

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

Zweryfikowany adres z in.tum.de - Strona główna

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


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Online verification of automated road vehicles using reachability analysis M Althoff, JM Dolan IEEE Transactions on Robotics 30 (4), 903-918, 2014	391	2014
An Introduction to CORA 2015. M Althoff ARCH@ CPSWeek 34, 120-151, 2015	362	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	335	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	318	2008
Reachability analysis and its application to the safety assessment of autonomous cars M Althoff Technische Universität München, 2010	315	2010
CommonRoad: Composable benchmarks for motion planning on roads M Althoff, M Koschi, S Manzinger 2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017	250	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	180	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	156	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	143	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	138	2011
Reachability analysis of nonlinear differential-algebraic systems M Althoff, BH Krogh IEEE Transactions on Automatic Control 59 (2), 371-383, 2013	116	2013
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	114	2011
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	111	2007
Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles M Althoff, S Lutz IEEE Intelligent Vehicles Symposium, 1326-1333, 2018	101	2018
Formalising traffic rules for accountability of autonomous vehicles A Rizaldi, M Althoff 2015 IEEE 18th international conference on intelligent transportation …, 2015	101	2015
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	101	2011
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	93	2013
Adaptive cruise control with safety guarantees for autonomous vehicles S Magdici, M Althoff IFAC-PapersOnLine 50 (1), 5774-5781, 2017	87	2017
Set-based prediction of traffic participants on arbitrary road networks M Althoff, S Magdici IEEE Transactions on Intelligent Vehicles 1 (2), 187-202, 2016	87	2016
Implementation of Interval Arithmetic in CORA 2016 M Althoff, D Grebenyuk	86	2016

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy