Published: 20th July 2022|
|Preface Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour and Louise A. Dennis|
|Invited Talk: Synthesis of Fail-Safe Behaviours Brian Logan||1|
|Invited Talk: RoboWorld: Assumption Language for Robotic Systems Ana Cavalcanti||2|
|Careful Autonomous Agents in Environments With Multiple Common Resources Rodica Condurache, Catalin Dima, Madalina Jitaru, Youssouf Oualhadj and Nicolas Troquard||3|
|Modelling the Turtle Python library in CSP Dara MacConville, Marie Farrell, Matt Luckcuck and Rosemary Monahan||15|
|RV4JaCa – Runtime Verification for Multi-Agent Systems Debora C. Engelmann, Angelo Ferrando, Alison R. Panisson, Davide Ancona, Rafael H. Bordini and Viviana Mascardi||23|
|Temporal Planning with Incomplete Knowledge and Perceptual Information Yaniel Carreno, Yvan Petillot and Ronald P. A. Petrick||37|
|Model Compression for Resource-Constrained Mobile Robots Timotheos Souroulla, Alberto Hata, Ahmad Terra, Özer Özkahraman and Rafia Inam||54|
|Towards VEsNA, a Framework for Managing Virtual Environments via Natural Language Agents Andrea Gatti and Viviana Mascardi||65|
|The Need for a Meta-Architecture for Robot Autonomy Stalin Muñoz Gutiérrez and Gerald Steinbauer-Wagner||81|
|Towards Plug'n Play Task-Level Autonomy for Robotics Using POMDPs and Generative Models Or Wertheim, Dan R. Suissa and Ronen I. Brafman||98|
This volume contains the proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022), co-located with the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022).
Autonomous agents is a well-established area that has been researched for decades, both from a design and implementation viewpoint. Nonetheless, the application of agents in real-world scenarios has largely been adopted in applications which are primarily software based, and remains limited in applications which involve physical interaction. In parallel, robots are no longer used only in tightly constrained industrial applications but are instead being applied in an increasing number of domains, ranging from robotic assistants to search and rescue, where the working environment is both dynamic and underspecified, and may involve interactions between multiple robots and humans.
This presents significant challenges to traditional software engineering methodologies. Increased autonomy is an important route to enabling robotic applications to function in these environments, and autonomous agents and multi-agent systems are a promising approach to their engineering. As autonomy and interaction increases, the engineering of reliable behaviour becomes more challenging (both in robotic applications and in more traditional autonomous agent settings), and so there is a need for research into new approaches to verification and validation that can be integrated in the engineering lifecycle of these systems.
This workshop aims to bring together researchers from the autonomous agents and the robotics communities, since combining knowledge from these two research areas may lead to innovative approaches that solve complex problems related to the verification and validation of autonomous robotic systems.
In this second edition of the workshop, we received a total of 9 submissions, and accepted 7 full and one short papers; we thank all the authors that have submitted their valuable work to our workshop.
We would also like to thank the work of our 25 program committee members (complete list available below) that provided helpful feedback that was then used to improve the papers, and the support of the EPTCS staff in preparing this proceedings.
Finally, we would like to thank our two invited speakers, Brian Logan and Ana Cavalcanti. The title and abstract of their presentations can be found below.
For more information about the workshop, please check our website: https://areaworkshop.github.io/AREA2022/
The AREA 2022 organisers,
Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, and Louise A. Dennis
Reactive synthesis techniques have been proposed as a way to automate the production of software for autonomous cyber-physical systems. Such techniques have the advantage that the resulting software is guaranteed to realise a given target behaviour if the behaviour and models of the resources provided as input are themselves correct. However, if the target specifies an unsafe behaviour, or the resource operations are unsafe, incorrectly programmed or the resource models fail to anticipate some failure modes, then synthesis may result in a "correct", but unsafe controller. In this talk, I present an approach to the synthesis of fail-safe controllers that orchestrate the activities of a set of resources to realise a target behaviour, and in addition guarantee the resulting behaviour conforms to a fail-safe specification defining what should happen if an abnormal event occurs.
Robots affect and are affected by the environment. Operational requirements often restrict the conditions in which a robot can be used, and many of the expected and desirable properties of a robotic system depend on properties of its environment. Defining a complete model of the environment is not possible, in general, but it is possible to capture assumptions about the environment. We will present a controlled natural language called RoboWorld that can be used to define (a) the operational requirements of a robot, and (b) how the robot interacts with its environment. RoboWorld has a hybrid process-algebraic semantics. RoboWorld is part of the RoboStar framework of domain-specific languages, and plays a central role in proof, simulation, and testing of robotic systems.