Takip et
Matthias Althoff
Matthias Althoff
Associate Professor in Computer Science, Technische Universität München
in.tum.de üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
An introduction to CORA 2015
M Althoff
Proc. of the workshop on applied verification for continuous and hybrid …, 2015
5452015
Online verification of automated road vehicles using reachability analysis
M Althoff, JM Dolan
IEEE Transactions on Robotics 30 (4), 903-918, 2014
5302014
CommonRoad: Composable benchmarks for motion planning on roads
M Althoff, M Koschi, S Manzinger
2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017
4812017
Reachability analysis and its application to the safety assessment of autonomous cars
M Althoff
Technische Universität München, 2010
4532010
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
4062009
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
3892008
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
2522018
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
2502021
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
2322010
Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
M Althoff
Proceedings of the 16th international conference on Hybrid systems …, 2013
2142013
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
1932011
Generating critical test scenarios for automated vehicles with evolutionary algorithms
M Klischat, M Althoff
2019 IEEE Intelligent Vehicles Symposium (IV), 2352-2358, 2019
1912019
Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles
M Althoff, S Lutz
IEEE Intelligent Vehicles Symposium, 1326-1333, 2018
1792018
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
1542020
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
1532020
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
1522011
Reachability analysis of nonlinear differential-algebraic systems
M Althoff, BH Krogh
IEEE Transactions on Automatic Control 59 (2), 371-383, 2013
1362013
Formalising traffic rules for accountability of autonomous vehicles
A Rizaldi, M Althoff
2015 IEEE 18th international conference on intelligent transportation …, 2015
1352015
Set-based prediction of traffic participants on arbitrary road networks
M Althoff, S Magdici
IEEE Transactions on Intelligent Vehicles 1 (2), 187-202, 2016
1312016
Formalising and monitoring traffic rules for autonomous vehicles in Isabelle/HOL
A Rizaldi, J Keinholz, M Huber, J Feldle, F Immler, M Althoff, E Hilgendorf, ...
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
1242017
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20