For the last few decades, a lot of attention has been given to intelligent vehicle systems, and
in particular to automated safety and collision avoidance solutions. In this paper, we present …

The coordination of multiple autonomous vehicles into convoys or platoons is expected on
our highways in the near future. However, before such platoons can be deployed, the …

This paper paves the way for a future scenario catalog-based approach to acceptance
testing for highly autonomous vehicles by providing a rigorous formal semantics for a visual …

In a series of contributions Olderog et al. have formulated and verified safety controllers for a
number of lane-maneuvers on multi-lane roads. Their work is characterized by great clarity …

We adapt the Multi-lane Spatial Logic MLSL, introduced in [1] for proving the safety (collision
freedom) of traffic manoeuvres on multi-lane motorways, where all cars drive in one …

The paper proposes a method for the correct by design coordination of autonomous driving
systems (ADS). It builds on previous results on collision avoidance policies and the …

Vehicles that are becoming more highly automated are revolutionizing the world's
transportation systems for their promise of increased safety and efficiency. The advantage of …

Abstract With Multi-lane Spatial Logic (MLSL), we can prove safety (collision freedom) on
multi-lane motorways and country roads. In this work, we consider an extension of MLSL to …

Cooperating cyber-physical systems-of-systems (CO-CPS) such as vehicle platoons, robot
teams or drone swarms usually have strict safety requirements on both spatial and temporal …

During the design of autonomous vehicles (AVs), several stages should include a
verification process to guarantee that the AV is driving safely on the roads. One of these …