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 …

This paper investigates runtime monitoring of perception systems. Perception is a critical
component of high-integrity applications of robotics and autonomous systems, such as self …

Robots come with a variety of computing capabilities, and running computationally-intense
applications on robots is sometimes challenging on account of limited onboard computing …

Perception is a critical component of high-integrity applications of robotics and autonomous
systems, such as self-driving vehicles. In these applications, failure of perception systems …

The consequences of autonomous systems software failures can be potentially dramatic.
There is no need to darken the picture, but still, it seems unlikely that people, insurance …

ROS is popular in robotic-software development, and thus detecting bugs in ROS programs
is important for modern robots. Fuzzing is a promising technique of runtime testing. But …

The challenges of deploying robots and autonomous vehicles call for further efforts to bridge
the gap between the robotics, the real-time systems and the formal methods communities …

Throughout the last few decades, researchers and practitioners are showing more and more
interest in using formal methods in order to predict and prevent software failures in robotic …

Abstract Recently, Internet of Things (IoT)-based systems, especially automation systems,
have become an indispensable part of modern-day lives to support the controlling of the …

Failure of robotic software may cause catastrophic damages. In order to establish a higher
level of trust in robotic systems, formal methods are often proposed. However, their …