First Workshop on Agents and Robots for reliable Engineered Autonomy
AREA 2020 programme: Friday 4th of September
The time is in CEST timezone.
= short paper
= full paper
|13:10||Invited talk: Erez Karpas [Chair: Rafael C. Cardoso] Title: Automated Verification and Synthesis of Robust Social Laws |
Based on Joint Work with Ronen Nir, Alexander Tuisov, Alexander Shleyfman, and Moshe Tennenholz.
Abstract: Agents operating in a multi-agent environment must consider not just their own actions, but also those of the other agents in the system. Artificial social systems are ... a well known means for coordinating a set of agents, without requiring centralized planning or online negotiation between agents. Artificial social systems enact a social law which restricts the agents from performing some actions under some circumstances. A good social law prevents the agents from interfering with each other, but does not prevent them from achieving their goals. However, designing good social laws, or even checking whether a proposed social law is good, are hard questions. We present approaches for verifying whether a given social law is robust under different planning formalisms, as well as techniques for automatically synthesizing a robust social law.
Short Bio: Dr. Erez Karpas is a senior lecturer (assistant professor) at the Faculty of Industrial Engineering and Management, Technion – Israel Institute of Technology. His main research interests are artificial intelligence and robotics. Prior to that he was a postdoctoral associate at the Model-based Embedded and Robotics Systems Group at MIT, under the supervision of Prof. Brian Williams. and before that, a research fellow and the research coordinator of the Technion-Microsoft Electronic-Commerce Research Center, under Prof. Moshe Tennenholtz. He completed his Ph.D. under the supervision of Prof. Carmel Domshlak and Prof. Shaul Markovitch at the Faculty of Industrial Engineering and Management at the Technion – Israel Institute of Technology.
|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, Kyle Hollins Wray, Stefan J. Witwicki and Shlomo Zilberstein.
|15:00|| Slot 3: Engineering [Chair: Daniela Briola] Exploratory 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 [Chair: Angelo Ferrando] Title: 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 A. 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.
Paper Submission Deadline: 10th May 2020 (AoE, UTC-12) Paper Notification: 10th June 2020 Camera Ready: 10th July 2020
- Workshop: 4th September 2020
- Charles Lesire, Senior Research Fellow at ONERA (French Aerospace Lab) (France)
- Erez Karpas, Senior Lecturer at Technion – Israel Institute of Technology (Israel)
The AREA 2020 proceedings is available here.
- 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 email@example.com