To safely and effectively participate in road traffic, automated vehicles should explicitly
consider compliance with traffic rules and high-level specifications. We propose a method …

It is crucial for automated vehicles to explicitly comply with specifications, including traffic
rules, to ensure their safe and effective participation in road traffic. Such compliance is also …

We propose an approach for the fast computation of reachable sets of road vehicles while
considering dynamic obstacles. The obtained reachable sets contain all possible behaviors …

To operate in traffic, autonomous vehicles must plan long trajectories (eg, unprotected left
turns across traffic) and validate that they are not-at-fault in a collision. Reachability-based …

In recent years, reachability analysis has gained considerable popularity in motion planning
and safeguarding of automated vehicles (AVs). While existing tools for reachability analysis …

Motion planners for autonomous vehicles must obtain feasible trajectories in real-time
regardless of the complexity of traffic conditions. Planning approaches that discretize the …

The computational effort of trajectory planning for automated vehicles often increases with
the complexity of the traffic situation. This is particularly problematic in safety-critical …

Despite large advances in recent years, real-time capable motion planning for autonomous
road vehicles remains a huge challenge. In this work, we present a decision module that is …

Compliance with the rules of the road is crucial for the safe operation of autonomous
vehicles. Previous work has shown that one can expedite rule-compliant motion planning by …

Generating receding-horizon motion trajectories for autonomous vehicles in real-time while
also providing safety guarantees is challenging. This is because a future trajectory needs to …