User: Guest  Login
Sort by:
and:
next

Niklas Kochdumper, Ahmad Tarraf, Malgorzata Rechmal, Markus Olbrich, Lars Hedrich, Matthias Althoff
Establishing Reachset Conformance for the Formal Analysis of Analog Circuits
ASP-DAC
2020
Markus Koschi, Christian Pek, Sebastian Maierhofer, and Matthias Althoff
Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems
Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems
2019
Moritz Klischat, Octav Dragoi, Mostafa Eissa, and Matthias Althoff
Coupling SUMO with a Motion Planning Framework for Automated Vehicles
SUMO User Conference
2019
Moritz Klischat and Matthias Althoff
Generating Critical Test Scenarios for Automated Vehicles with Evolutionary Algorithms
2352 - 2358
Proc. of the IEEE Intelligent Vehicles Symposium
2019
Christian Pek and Matthias Althoff
Ensuring Motion Safety of Autonomous Vehicles through Online Fail-safe Verification
Robotics: Science and Systems -- Pioneers Workshop
2019
Christian Pek, Markus Koschi, and Matthias Althoff
An Online Verification Framework for Motion Planning of Self-driving Vehicles with Safety Guarantees
AAET - Automatisiertes und vernetztes Fahren
2019
Svenja Langenberg, Mareike Schulze, Merle Bartsch, Kerstin Gruner-Labitzke, Christian Pek, Hinrich Köhler, Ross D. Crosby, Michael Marschollek, Martina de Zwaan, and Astrid Müller
Physical activity is unrelated to cognitive performance in pre-bariatric surgery patients
Journal of Psychosomatic Research
2015
79
2
165 - 170
Christian Pek and Matthias Althoff
Computationally Efficient Fail-safe Trajectory Planning for Self-driving Vehicles Using Convex Optimization
Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems
2018
Branka Mirchevska, Christian Pek, Moritz Werling, Matthias Althoff, Joschka Boedecker
High-level Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning
Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems
2018
Markus Koschi, Christian Pek, Mona Beikirch, and Matthias Althoff
Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules
Proc. of the IEEE Int. Conf. on Intelligent Transportation Systems
2018
Sort by:
and:
next