First Workshop on Agents and Robots for reliable Engineered Autonomy
Provisional programme : Friday 4th of September
The time is in CEST timezone.
|13:10||Invited talk: Erez Karpas Abstract: TBA|
|13:40|| Slot 1: Verification [Chair: Claudio Menghi] Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. |
Mehrnoosh Askarpour, Matteo Rossi and Omer Tiryakiler.
|14:00|| Statistical Model Checking of Human-Robot Interaction Scenarios. |
Livia Lestingi, Mehrnoosh Askarpour, Marcello Maria Bersani and Matteo Rossi.
|14:20|| Slot 2: Reliability [Chair: Rafael C. Cardoso] Establishing Reliable Robot Behavior using Capability Analysis Tables. |
Victoria Edwards, Loy McGuire and Signe Redfield.
|14:40|| Improving Competence for Reliable Autonomy. |
Connor Basich, Justin Svegliato and Shlomo Zilberstein.
|15:00|| Slot 3: Engineering [Chair: Daniela Briola] Early Experiments on Programming Autonomous Robots in Jadescript. |
Eleonora Iotti, Giuseppe Petrosino, Stefania Monica and Federico Bergenti.
|15:20|| Engineering Reliable Interactions in the Reality-Artificiality Continuum. |
Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi and Fabio Solari.
|15:50||Invited talk: Charles Lesire Abstract: TBA|
|16:20|| Slot 4: Learning [Chair: Angelo Ferrando] Semi-supervised Learning From Demonstration through Program Synthesis: An Inspection Robot Case Study. |
Simón C. Smith and Subramanian Ramamoorthy.
|16:40|| Testing the Robustness of AutoML Systems. |
Tuomas Halvari, Jukka K. Nurminen and Tommi Mikkonen.
|17:00|| Slot 5: BDI Agents [Chair: Tobias Ahlbrecht] Adaptable and Verifiable BDI Reasoning. |
Peter Stringer, Rafael C. Cardoso, Xiaowei Huang and Louise Dennis.
|17:20|| Toward Campus Mail Delivery Using BDI. |
Chidiebere Onyedinma, Patrick Gavigan and Babak Esfandiari.
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. This workshop aims to bring together researchers from the autonomous agents, software engineering and the robotics communities, as combining knowledge coming from these two research areas may lead to innovative approaches that solve complex problems related with the verification and validation of autonomous robotic systems. Consequently, we encourage submissions that combine agents, robots, and verification, but we also welcome papers focused on one of these areas, as long as their applicability to the other areas is clear.
List of Topics
- Agent-based modular architectures applicable to robots
- Agent oriented software engineering to model high-level control in robotic development
- Agent programming languages and tools for developing robotic or intelligent autonomous systems
- Coordination, interaction, and negotiation protocols for agents and robots
- Distributed problem solving and automated planning in autonomous systems
- Fault tolerance, health-management, and long-term autonomy
- Real world applications of autonomous agents and multi-agent systems in robotics
- Real-time multi-agent systems
- Reliable software engineering of autonomy
- Runtime verification of autonomous agents and robotic systems
- Task and resource allocation in multi-robot systems
- Verification and validation of autonomous systems
- Testing and simulation tools and techniques for autonomous or robotic systems
- Self healing entities and systems
Participants are invited to submit either:
- a full length research paper — a technical paper for describing technically sound, innovative ideas that can advance the engineering/reliability of agents and robots; an application/case study paper, with emphasis on robotic applications where agents techniques have been applied; a survey paper on one of the topics of interest.
- a short paper — a position paper describing relevant questions and issues that the participants feel should be addressed; a demo paper describing a demonstration of an agent/robotic application, system or tool; a new idea in the field which is not ready for publication as regular paper.
Regular papers must not exceed fifteen (15) pages single column and short papers must not exceed seven (7) pages single column, excluding references and appendices. Submissions are accepted in PDF format only. Each submission will receive at least three, single-blind reviews.
At least one of the authors of an accepted paper should attend the workshop to present their work.
The proceedings of the workshop will be published with EPTCS (http://www.eptcs.org/). Formatting guidelines should follow EPTCS style: http://style.eptcs.org/
Submission link: https://easychair.org/my/conference?conf=area2020#
We will evaluate applying for a special issue on a Journal (to be selected) where revised selected and extended papers will be published.
- Peter Stringer, Rafael Cardoso, Xiaowei Huang and Louise Dennis. Adaptable and Verifiable BDI Reasoning.
- Eleonora Iotti, Giuseppe Petrosino, Stefania Monica and Federico Bergenti. Early Experiments on Programming Autonomous Robots in Jadescript.
- Livia Lestingi, Mehrnoosh Askarpour, Marcello Maria Bersani and Matteo Rossi. Statistical Model Checking of Human-Robot Interaction Scenarios.
- Victoria Edwards, Loy McGuire and Signe Redfield. Establishing Reliable Robot Behavior using Capability Analysis Tables.
- Simón C. Smith and Subramanian Ramamoorthy. Semi-supervised Learning From Demonstration through Program Synthesis: An Inspection Robot Case Study.
- Tuomas Halvari, Jukka K. Nurminen and Tommi Mikkonen. Testing the Robustness of AutoML Systems.
- Mehrnoosh Askarpour, Matteo Rossi and Omer Tiryakiler. Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.
- Connor Basich, Justin Svegliato and Shlomo Zilberstein. Improving Competence for Reliable Autonomy.
- Chidiebere Onyedinma, Patrick Gavigan and Babak Esfandiari. Toward Campus Mail Delivery Using BDI.
- Davide Ancona, Chiara Bassano, Manuela Chessa, Viviana Mascardi and Fabio Solari. Engineering Reliable Interactions in the Reality-Artificiality Continuum.
Paper Submission Deadline: 10th May 2020 (AoE, UTC-12) Paper Notification: 10th June 2020
- Camera Ready: 10th July 2020
- Workshop: 4th September 2020
*AREA 2020 will be held virtually. More information about the online platform and registration will follow as soon as the details are confirmed.
- Charles Lesire, Senior Research Fellow at ONERA (French Aerospace Lab) (France)
- Erez Karpas, Senior Lecturer at Technion – Israel Institute of Technology (Israel)
- Rafael C. Cardoso, University of Liverpool (UK)
- Angelo Ferrando, University of Liverpool (UK)
- Tobias Ahlbrecht, Clausthal University of Technology (Germany)
- Claudio Menghi, University of Luxembourg (Luxembourg)
- Daniela Briola, University of Milano-Bicocca (Italy)
- Gleifer Vaz Alves, Federal University of Technology – Paraná (Brazil)
- Mehrnoosh Askarpour, Politecnico di Milano (Italy)
- Amel Bennaceur, The Open University (UK)
- Olivier Boissier, Mines Saint-Étienne (France)
- Rafael H. Bordini, PUCRS (Brazil)
- Jürgen Dix, Clausthal University of Technology (Germany)
- Michael Fisher, University of Liverpool (UK)
- Meng Guo, Bosch Center for Artificial Intelligence (Germany)
- Nico Hochgeschwender, Hochschule Bonn-Rhein-Sieg (Germany)
- Jomi F. Hübner, UFSC (Brazil)
- Bruno Lacerda, University of Oxford (UK)
- Brian Logan, University of Nottingham (UK)
- Leonardo Mariani, University of Milano Bicocca (Italy)
- Viviana Mascardi, Genoa University (Italy)
- Ilaria Matteucci, Istituto di Informatica e Telematica, CNR (Italy)
- Ettore Merlo, Ecole Polytechnique of Montreal (Canada)
- Alexandre de Oliverira Zamberlan, UFN (Brazil)
- Eva Onaindia, Polytechnic University of Valencia (Spain)
- John-Paul Ore, Department of Computer Science at NC State University (US)
- Liliana Pasquale, University College Dublin and Lero - the Irish Software Research Centre (Ireland)
- Fabrizio Pastore, SnT Centre for Security Reliability and Trust (Luxembourg)
- Patrizio Pelliccione, Chalmers | University of Gothenburg (Sweden) and University of L'Aquila (Italy)
- Pedro Ribeiro, University of York (UK)
- Alessandro Ricci, University of Bologna (Italy)
- Ana Paula Rocha, University of Porto (Portugal)
- Oliviero Riganelli, University of Milano Bicocca (Italy)
- Lavindra da Silva, University of Cambridge (UK)
- Christos Tsigkanos, Technical University of Vienna (Austria)
For more information contact us at firstname.lastname@example.org