Develo** advanced robotics applications is now facing the safety issue for users, the
environment, and the robot itself, which is a main limitation for their deployment in real life …

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 …

We present the design, motion planning, and control of an aerial manipulator for non-trivial
physical interaction tasks, such as pushing while sliding on curved surfaces-a task which is …

This paper presents MORSE, a new open-source robotics simulator. MORSE provides
several features of interest to robotics projects: it relies on a component-based architecture …

The design, simulation and programming of robotics systems is challenging as expertise
from multiple domains needs to be integrated conceptually and technically. Domain-specific …

Because robotic systems get more complex all the time, developers around the world have,
during the last decade, created component-based software frameworks (Orocos, Open-RTM …

The paper presents a model-based approach to develo** robotic system controllers.
Central to this approach is a parameterised meta-model that describes the generic robotic …

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 …

The ability to navigate in diverse and previously unknown environments is a critical service
of autonomous robots. The validation of the navigation software typically involves test …

RoboChart is a timed domain-specific language for robotics, distinctive in its support for
automated verification by model checking and theorem proving. Since uncertainty is an …