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 …

Robots are becoming ubiquitous: from vacuum cleaners to driverless cars, there is a wide
variety of applications, many with potential safety hazards. The work presented in this paper …

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 …

Robotic systems are multi-dimensional entities, combining both hardware and software, that
are heavily dependent on, and influenced by, interactions with the real world. They can be …

Simulation is a favoured technique for analysis of robotic systems. Currently, however,
simulations are programmed in an ad hoc way, for specific simulators, using either …

The Robot Operating System (ROS) is one of the most popular open source robotic
frameworks, and has contributed significantly to the fast development of robotics. Even …

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 …

We outline a probabilistic denotational semantics for the RoboChart language, a
diagrammatic, domain-specific notation for describing robotic controllers with their hardware …

Human-robot collaboration (HRC) is an emerging trend of robotics that promotes the co-
presence and cooperation of humans and robots in common workspaces. Physical vicinity …