Autonomous robotic systems are complex, hybrid, and often safety critical; this makes their
formal specification and verification uniquely challenging. Though commonly used, testing …

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 …

The Robot Operating System (ROS) is the de-facto standard for robotic software. If on one
hand ROS is hel** roboticists, eg, by providing a standardized communication platform …

Abstract Context: The Robot Operating System (ROS) is the de-facto standard for robotics
software. However, ROS-based systems are getting larger and more complex and could …

Abstract Robonaut2 (R2) is a humanoid robot onboard the International Space Station (ISS),
performing specialized tasks in collaboration with astronauts. After deployment, R2 …

Abstract Validation and Verification (V&V) of autonomous robotic system software is
becoming a critical issue. Among the V&V techniques at our disposal, formal approaches …

An increasing number of robotic programs are implemented based on Robot Operating
System (ROS), which provides many practical tools and libraries for robot development. To …

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 …

Runtime verification (RV) has the potential to enable the safe operation of safety-critical
systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2) …

Humans working with autonomous artificially intelligent systems may not be experts in the
inner workings of their machine teammates, but need to understand when to employ, trust …