1–20 von 40 Ergebnissen
|

    Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems

    Koschi, Markus / Pek, Christian / Maierhofer, Sebastian et al. | IEEE | 2019
    Falsification aims to disprove the safety of systems by providing counter-examples that lead to a violation of safety properties. In this ...
    Verlag: IEEE

    Should collision avoidance systems use yaw stabilization?

    Hess, Daniel / Althoff, Matthias / Sattel, Thomas | IEEE | 2013
    controllers. This separation of concerns provides reliable systems, but potentially degrades the performance compared to centralized control ...
    Verlag: IEEE

    Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems

    Sontges, Sebastian / Althoff, Matthias | IEEE | 2015
    It is of utmost importance for automatic collision avoidance systems to correctly evaluate the risk of a current situation and constantly ...
    Verlag: IEEE

    Model-based Offline Vehicle Tracking in Automotive Applications Using a Precise 3D Model

    Ye, Egon / Althoff, Matthias | IEEE | 2019
    systems, ground truth data must be acquired, which is a time-consuming and expensive approach. We propose a novel offline approach to generate ...
    Verlag: IEEE

    CommonRoad Scenario Designer: An Open-Source Toolbox for Map Conversion and Scenario Creation for Autonomous Vehicles

    Maierhofer, Sebastian / Klischat, Moritz / Althoff, Matthias | IEEE | 2021
    Verlag: IEEE

    Sampling-Based Optimal Trajectory Generation for Autonomous Vehicles Using Reachable Sets

    Wursching, Gerald / Althoff, Matthias | IEEE | 2021
    Verlag: IEEE

    CommonRoad-RL: A Configurable Reinforcement Learning Environment for Motion Planning of Autonomous Vehicles

    Wang, Xiao / Krasowski, Hanna / Althoff, Matthias | IEEE | 2021
    Verlag: IEEE

    Sampling-Based Trajectory Repairing for Autonomous Vehicles

    Lin, Yuanfei / Maierhofer, Sebastian / Althoff, Matthias | IEEE | 2021
    Verlag: IEEE

    Predictive Monitoring of Traffic Rules

    Gressenbuch, Luis / Althoff, Matthias | IEEE | 2021
    Verlag: IEEE

    Anytime Safety Verification of Autonomous Vehicles

    Gruber, Felix / Althoff, Matthias | IEEE | 2018
    Verlag: IEEE

    Tactical Decision Making for Cooperative Vehicles Using Reachable Sets

    Manzinger, Stefanie / Althoff, Matthias | IEEE | 2018
    Verlag: IEEE

    Set-Based Prediction of Pedestrians in Urban Environments Considering Formalized Traffic Rules

    Koschi, Markus / Pek, Christian / Beikirch, Mona et al. | IEEE | 2018
    Verlag: IEEE

    High-level Decision Making for Safe and Reasonable Autonomous Lane Changing using Reinforcement Learning

    Mirchevska, Branka / Pek, Christian / Werling, Moritz et al. | IEEE | 2018
    Machine learning techniques have been shown to outperform many rule-based systems for the decision-making of autonomous vehicles. However ...
    Verlag: IEEE

    Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad

    Lin, Yuanfei / Ratzel, Michael / Althoff, Matthias | IEEE | 2023
    Scenarios are a crucial element for developing, testing, and verifying autonomous driving systems. However, open-source scenarios are often ...
    Verlag: IEEE

    Map Verification and Repairing Using Formalized Map Specifications

    Maierhofer, Sebastian / Ballnath, Yannick / Althoff, Matthias | IEEE | 2023
    Verlag: IEEE

    MONA: The Munich Motion Dataset of Natural Driving

    Gressenbuch, Luis / Esterle, Klemens / Kessler, Tobias et al. | IEEE | 2022
    Verlag: IEEE

    Safe Reinforcement Learning for Urban Driving using Invariably Safe Braking Sets

    Krasowski, Hanna / Zhang, Yinqiang / Althoff, Matthias | IEEE | 2022
    Verlag: IEEE

    Synthesizing Traffic Scenarios from Formal Specifications Using Reachability Analysis

    Finkeldei, Florian / Althoff, Matthias | IEEE | 2023
    Verlag: IEEE