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 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 …

In AI research, synthesizing a plan of action has typically used descriptive models of the
actions that abstractly specify what might happen as a result of an action, and are tailored for …

The paper presents a methodology of creating a Hierarchical Petri Net modelling the
activities of a multi-agent robotic system. The methodology follows the separation of …

In this paper, we propose a formal language to specify robot skills, ie the elementary
behaviours or functions provided by the robot platform in order to perform an autonomous …

Acting is an important decisional function for autonomous robots. Acting relies on skills to
implement and to model the activities it oversees: refinement, local recovery, temporal …

Verifying industrial robotic systems is a complex task because those systems are often
distributed, heterogeneous, and only defined by their implementation instead of models of …

The need for high-level autonomy and robustness of autonomous systems for missions in
dynamic and remote environment has pushed developers to come up with new software …

Recent technological developments in the field of robotics and artificial intelligence could
enable the use of robots in many areas of our lives. Applications range from Industry 4.0 …

Smart speakers and robots become ever more prevalent in our daily lives. These agents are
able to execute a wide range of tasks and actions and, therefore, need systems to control …