Artigos com autorizações de acesso público - Matthias AlthoffSaiba mais
5 artigos não disponíveis publicamente
Computation of solution spaces for optimization-based trajectory planning
L Schäfer, S Manzinger, M Althoff
IEEE Transactions on Intelligent Vehicles, 2021
Autorizações: German Research Foundation
Goal-Oriented Pedestrian Motion Prediction
J Wu, J Ruenz, H Berkemeyer, L Dixon, M Althoff
IEEE Transactions on Intelligent Transportation Systems, 2023
Autorizações: European Commission
Computing Robust Control Invariant Sets of Nonlinear Systems Using Polynomial Controller Synthesis
L Schafer, M Althoff
2024 American Control Conference (ACC), 4162-4169, 2024
Autorizações: European Commission
The ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
A Abate, M Althoff, L Bu, G Ernst, G Frehse, L Geretti, TT Johnson, ...
International TOOLympics Challenge, 1-37, 2024
Autorizações: Agence Nationale de la Recherche
Cooperative interacting automobiles
C Stiller, M Althoff
at-Automatisierungstechnik 71 (4), 247-248, 2023
Autorizações: German Research Foundation
178 artigos disponíveis publicamente
Online verification of automated road vehicles using reachability analysis
M Althoff, JM Dolan
IEEE Transactions on Robotics 30 (4), 903-918, 2014
Autorizações: German Research Foundation
CommonRoad: Composable benchmarks for motion planning on roads
M Althoff, M Koschi, S Manzinger
2017 IEEE Intelligent Vehicles Symposium (IV), 719-726, 2017
Autorizações: German Research Foundation
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
Autorizações: German Research Foundation
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
Autorizações: German Research Foundation
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
Autorizações: German Research Foundation
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
Autorizações: German Research Foundation
Automatic Generation of Safety-Critical Test Scenarios for Collision Avoidance of Road Vehicles
M Althoff, S Lutz
IEEE Intelligent Vehicles Symposium, 1326-1333, 2018
Autorizações: European Commission
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
Autorizações: German Research Foundation
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
Autorizações: European Commission
Formalising traffic rules for accountability of autonomous vehicles
A Rizaldi, M Althoff
2015 IEEE 18th international conference on intelligent transportation …, 2015
Autorizações: German Research Foundation
Set-based prediction of traffic participants on arbitrary road networks
M Althoff, S Magdici
IEEE Transactions on Intelligent Vehicles 1 (2), 187-202, 2016
Autorizações: German Research Foundation
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
Autorizações: German Research Foundation
Adaptive cruise control with safety guarantees for autonomous vehicles
S Magdici, M Althoff
IFAC-PapersOnLine 50 (1), 5774-5781, 2017
Autorizações: German Research Foundation
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
Autorizações: German Research Foundation
Set-based prediction of traffic participants considering occlusions and traffic rules
M Koschi, M Althoff
IEEE Transactions on Intelligent Vehicles 6 (2), 249-265, 2020
Autorizações: European Commission
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador