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 …

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

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 …

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 …

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 …

Verifying industrial robotic systems is a complex task because those systems are distributed
and solely defined by their implementation instead of models of the system to be verified …

Abstract Performance-Level Profiles (PLPs) were introduced as a type of action
representation language suitable for capturing the behavior of functional code for robotics …