Matthias Althoff

Citat de

	Toate	Din 2019
Referințe bibliografice	12143	9594
h-index	55	49
i10-index	206	188

2400

1200

600

1800

2008200920102011201220132014201520162017201820192020202120222023202432 49 51 103 121 133 215 246 327 546 672 818 1256 1536 1826 2364 1776

Acces public

Afișați-le pe toate

177 de articole

3 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Niklas KochdumperPostdoctoral researcher at IRIF/Université Paris CitéAdresă de e-mail confirmată pe tum.de
Andrea GiustiHead of RISE at Fraunhofer Italia ResearchAdresă de e-mail confirmată pe fraunhofer.it
Bruce H. KroghProfessor of Electrical and Computer Engineering, Carnegie Mellon UniversityAdresă de e-mail confirmată pe ece.cmu.edu
Aaron PereiraWissenschaftlicher MitarbeiterAdresă de e-mail confirmată pe tum.de
Moritz KlischatTechnical University of Munich, GermanyAdresă de e-mail confirmată pe tum.de
Stefan B. LiuResearch Assistant, Technical University of MunichAdresă de e-mail confirmată pe tum.de
Christian SchillingAssociate Professor at Aalborg UniversityAdresă de e-mail confirmată pe cs.aau.dk
Goran FrehseProfessor of Computer Science, ENSTA ParisAdresă de e-mail confirmată pe ensta-paris.fr
Sebastian MaierhoferTechnical University of MunichAdresă de e-mail confirmată pe tum.de
Hanna KrasowskiUniversity of California BerkeleyAdresă de e-mail confirmată pe berkeley.edu
Stanley BakStony Brook UniversityAdresă de e-mail confirmată pe stonybrook.edu
Albert RizaldiNIO GmbHAdresă de e-mail confirmată pe nio.io
John M. DolanThe Robotics Institute, Carnegie Mellon UniversityAdresă de e-mail confirmată pe andrew.cmu.edu
Daniel HeßDLR BraunschweigAdresă de e-mail confirmată pe DLR.de
Xin ChenUniversity of New MexicoAdresă de e-mail confirmată pe unm.edu
Esra İçerEU-Researcher, Technische Universität MünchenAdresă de e-mail confirmată pe tum.de
Dirk WollherrChair of Automatic Control Engineering, Technische Universität MünchenAdresă de e-mail confirmată pe tum.de
Mayuresh PatilGeorgia TechAdresă de e-mail confirmată pe gatech.edu
Akshay RajhansMathWorksAdresă de e-mail confirmată pe mathworks.com
Lawrence PileggiCoraluppi Head and Tanoto Professor of ECE, Carnegie Mellon UniversityAdresă de e-mail confirmată pe andrew.cmu.edu

Urmăriți

Matthias Althoff

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

Adresă de e-mail confirmată pe in.tum.de - Pagina de pornire

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


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
An introduction to CORA 2015 M Althoff Proc. of the workshop on applied verification for continuous and hybrid …, 2015	521	2015
Online verification of automated road vehicles using reachability analysis M Althoff, JM Dolan IEEE Transactions on Robotics 30 (4), 903-918, 2014	508	2014
Reachability analysis and its application to the safety assessment of autonomous cars M Althoff Technische Universität München, 2010	438	2010
CommonRoad: Composable benchmarks for motion planning on roads M Althoff, M Koschi, S Manzinger 2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017	436	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	399	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	378	2008
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	231	2018
Set propagation techniques for reachability analysis M Althoff, G Frehse, A Girard Annual Review of Control, Robotics, and Autonomous Systems 4 (1), 369-395, 2021	224	2021
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	222	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	205	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	183	2011
Generating critical test scenarios for automated vehicles with evolutionary algorithms M Klischat, M Althoff 2019 IEEE Intelligent Vehicles Symposium (IV), 2352-2358, 2019	172	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	162	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	145	2011
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	140	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	139	2020
Reachability analysis of nonlinear differential-algebraic systems M Althoff, BH Krogh IEEE Transactions on Automatic Control 59 (2), 371-383, 2013	136	2013
Formalising traffic rules for accountability of autonomous vehicles A Rizaldi, M Althoff 2015 IEEE 18th international conference on intelligent transportation …, 2015	130	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	127	2016
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	122	2007

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori