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 …

We perform a systematic literature review on testing, validation, and verification of robotic
and autonomous systems (RAS). The scope of this review covers peer-reviewed research …

While neural networks have achieved high accuracy on standard image classification
benchmarks, their accuracy drops to nearly zero in the presence of small adversarial …

While recent developments in autonomous vehicle (AV) technology highlight substantial
progress, we lack tools for rigorous and scalable testing. Real-world testing, the de facto …

It is apparent that one cannot rely solely on physical test drives for ensuring the correct
functionality of autonomous vehicles. Since physical test drives are costly and time …

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

While autonomous vehicle (AV) technology has shown substantial progress, we still lack
tools for rigorous and scalable testing. Real-world testing, the $\textit {de-facto} $ evaluation …

This paper presents a real-time scheduling framework for the robot operating system (ROS)
called ROSCH. ROS is an open-source software platform and a meta-operating system …

In this paper, we introduce a design methodology to develop reliable and secure industrial
control systems (ICSs) based on the behavior of their computational resources (ie …

This paper details the design of an autonomous vehicle CAD toolchain, which captures
formal descriptions of driving scenarios in order to develop a safety case for an autonomous …