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 vision of seamless human-robot interaction in our everyday life that allows for tight
cooperation between human and robot has not become reality yet. However, the recent …

Ensuring the safety of autonomous vehicles (AV s) in uncertain traffic scenarios is a major
challenge. In this paper, we address the problem of computing the risk that AV s violate a …

Large Language Models (LLMs) have the potential to catalyze a paradigm shift in end-user
robot programming---moving from the conventional process of user specifying programming …

We present an approach for the verification and validation (V&V) of robot assistants in the
context of human–robot interactions, to demonstrate their trustworthiness through …

We present a real-time self collision detection algorithm applicable for industrial and
humanoid robots. The algorithm is based on computing the swept volumes of all bodies and …

Our study details the development and validation of an orchestrator-controlled robotic
network that effectively organizes and manages the activities of multiple robots. The design …

Service robots are increasingly widespread in healthcare and domestic assistance settings.
Nevertheless, the literature still lacks robotic application development approaches that can …

Robotic assistants are being designed to help, or work with, humans in a variety of situations
from assistance within domestic situations, through medical care, to industrial settings …