When will automated vehicles come onto the market? This question has puzzled the
automotive industry and society for years. The technology and its implementation have …

Many organizations are developing autonomous driving systems, which are expected to be
deployed at a large scale in the near future. Despite this, there is a lack of agreement on …

This paper develops a control approach with correctness guarantees for the simultaneous
operation of lane keeping and adaptive cruise control. The safety specifications for these …

Autonomous vehicles are complex systems that are challenging to test and debug. A
requirements-driven approach to the development process can decrease the resources …

The safety validation of motion planning algorithms for automated vehicles requires a large
amount of data for virtual testing. Currently, this data is often collected through real test …

Due to the rapid progress in the development of automated vehicles over the last decade,
their market entry is getting closer. One of the remaining challenges is the safety assessment …

Modern vehicle is equipped with autonomous features, such as precollision system or
adaptive cruise control to help people perform driving in a safer and more convenient way …

Safety compliance is paramount to the safe deployment of autonomous vehicle (AV)
technologies in real-world transportation systems. As AVs will share road infrastructures with …

Scenario-based testing is considered state-of-the-art to verify and validate Advanced Driver
Assistance Systems. However, two essential unsolved challenges prevent the practical …

One of the main challenges in testing autonomous driving systems is the presence of
machine learning components, such as neural networks, for which formal properties are …