Published: 23rd July 2020
DOI: 10.4204/EPTCS.319
ISSN: 2075-2180


Proceedings of the First Workshop on
Agents and Robots for reliable Engineered Autonomy
Virtual event, 4th September 2020

Edited by: Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi and Tobias Ahlbrecht

Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation
Mehrnoosh Askarpour, Matteo Rossi and Omer Tiryakiler
Statistical Model Checking of Human-Robot Interaction Scenarios
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani and Matteo Rossi
Establishing Reliable Robot Behavior using Capability Analysis Tables
Victoria Edwards, Loy McGuire and Signe Redfield
Improving Competence for Reliable Autonomy
Connor Basich, Justin Svegliato, Kyle Hollins Wray, Stefan J. Witwicki and Shlomo Zilberstein
Exploratory Experiments on Programming Autonomous Robots in Jadescript
Eleonora Iotti, Giuseppe Petrosino, Stefania Monica and Federico Bergenti
Engineering Reliable Interactions in the Reality-Artificiality Continuum
Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi and Fabio Solari
Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study
Simón C. Smith and Subramanian Ramamoorthy
Testing the Robustness of AutoML Systems
Tuomas Halvari, Jukka K. Nurminen and Tommi Mikkonen
Adaptable and Verifiable BDI Reasoning
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang and Louise A. Dennis
Toward Campus Mail Delivery Using BDI
Chidiebere Onyedinma, Patrick Gavigan and Babak Esfandiari


This volume contains the proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020).

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 is largely adopted when logical distribution is needed, while still limited when physical distribution is necessary. In parallel, robots are no longer used only in industrial applications, but are instead being applied to an increasing number of domains, ranging from robotic assistants to search and rescue. Robots in these applications often benefit from (or require) some level (semi or full) of autonomy. Thus, multi-agent solutions can be exploited in robotic scenarios, considering their strong similarity both in terms of logical distribution and interaction among autonomous entities.

The autonomous behaviour responsible for decision-making should (ideally) be verifiable since these systems are expensive to produce and are often deployed in safety-critical situations. Thus, verification and validation are important and necessary steps towards providing assurances about the reliability of autonomy in these systems. The AREA workshop brings together researchers from autonomous agents, software engineering and robotic communities, as combining knowledge coming from these research areas may lead to innovative approaches that solve complex problems related with the verification and validation of autonomous robotic systems.

We are honoured to host the following invited speakers:

In this first edition we accepted six full and four 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 28 program committee members (complete list available at and the EPTCS staff.

The AREA 2020 organisers,
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi and Tobias Ahlbrecht