Choose your simulator wisely: A review on open-source simulators for autonomous driving

Y Li, W Yuan, S Zhang, W Yan, Q Shen… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Simulators play a crucial role in autonomous driving, offering significant time, cost, and labor
savings. Over the past few years, the number of simulators for autonomous driving has …

Ensuring drivability of planned motions using formal methods

B Schürmann, D Heß, J Eilbrecht… - 2017 IEEE 20th …, 2017 - ieeexplore.ieee.org
Motion planning of automated vehicles requires dynamical models to ensure that obtained
trajectories are drivable. An often overlooked aspect is that motion planning is usually done …

High-speed autonomous racing using trajectory-aided deep reinforcement learning

BD Evans, HA Engelbrecht… - IEEE Robotics and …, 2023 - ieeexplore.ieee.org
The classical method of autonomous racing uses real-time localisation to follow a
precalculated optimal trajectory. In contrast, end-to-end deep reinforcement learning (DRL) …

Automatic conversion of road networks from opendrive to lanelets

M Althoff, S Urban, M Koschi - 2018 IEEE International …, 2018 - ieeexplore.ieee.org
Detailed road maps are an important building block for autonomous driving. They accelerate
creating a semantic environment model within the vehicle and serve as a backup solution …

Worst-case analysis of the time-to-react using reachable sets

S Sontges, M Koschi, M Althoff - 2018 IEEE Intelligent Vehicles …, 2018 - ieeexplore.ieee.org
Collision mitigation and collision avoidance systems in intelligent vehicles reduce the
severity and number of accidents. To determine the optimal point in time at which such …

Rule-compliant trajectory repairing using satisfiability modulo theories

Y Lin, M Althoff - 2022 IEEE Intelligent Vehicles Symposium (IV), 2022 - ieeexplore.ieee.org
Autonomous vehicles must comply with traffic rules. However, most motion planners do not
explicitly consider all relevant traffic rules. Once traffic rule violations of an initially-planned …

Towards guaranteed safety assurance of automated driving systems with scenario sampling: An invariant set perspective

B Weng, L Capito, U Ozguner… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
How many scenarios are sufficient to validate the safe Operational Design Domain (ODD) of
an Automated Driving System (ADS) equipped vehicle? Is a more significant number of …

Local path planning for autonomous vehicles based on the natural behavior of the biological action-perception motion

P Bautista-Camino, AI Barranco-Gutiérrez, I Cervantes… - Energies, 2022 - mdpi.com
Local path planning is a key task for the motion planners of autonomous vehicles since it
commands the vehicle across its environment while avoiding any obstacles. To perform this …

Sampling-based optimal trajectory generation for autonomous vehicles using reachable sets

G Würsching, M Althoff - 2021 IEEE International Intelligent …, 2021 - ieeexplore.ieee.org
Motion planners for autonomous vehicles must obtain feasible trajectories in real-time
regardless of the complexity of traffic conditions. Planning approaches that discretize the …

Fully automated verification of linear systems using inner-and outer-approximations of reachable sets

M Wetzlinger, N Kochdumper, S Bak… - IEEE Transactions on …, 2023 - ieeexplore.ieee.org
Reachability analysis is a formal method to guarantee safety of dynamical systems under the
influence of uncertainties. A substantial bottleneck of all reachability algorithms is the …