Published: 23rd July 2020|
|Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation Mehrnoosh Askarpour, Matteo Rossi and Omer Tiryakiler||1|
|Statistical Model Checking of Human-Robot Interaction Scenarios Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani and Matteo Rossi||9|
|Establishing Reliable Robot Behavior using Capability Analysis Tables Victoria Edwards, Loy McGuire and Signe Redfield||19|
|Improving Competence for Reliable Autonomy Connor Basich, Justin Svegliato, Kyle Hollins Wray, Stefan J. Witwicki and Shlomo Zilberstein||37|
|Exploratory Experiments on Programming Autonomous Robots in Jadescript Eleonora Iotti, Giuseppe Petrosino, Stefania Monica and Federico Bergenti||55|
|Engineering Reliable Interactions in the Reality-Artificiality Continuum Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi and Fabio Solari||69|
|Semi-supervised Learning From Demonstration Through Program Synthesis: An Inspection Robot Case Study Simón C. Smith and Subramanian Ramamoorthy||81|
|Testing the Robustness of AutoML Systems Tuomas Halvari, Jukka K. Nurminen and Tommi Mikkonen||103|
|Adaptable and Verifiable BDI Reasoning Peter Stringer, Rafael C. Cardoso, Xiaowei Huang and Louise A. Dennis||117|
|Toward Campus Mail Delivery Using BDI Chidiebere Onyedinma, Patrick Gavigan and Babak Esfandiari||127|
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 https://area2020.github.io/) and the EPTCS staff.
The AREA 2020 organisers,
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi and Tobias Ahlbrecht