Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy

07/22/2020
by   Rafael C. Cardoso, et al.
0

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). AREA 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.

READ FULL TEXT
research
07/19/2022

Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy

This volume contains the proceedings of the Second Workshop on Agents an...
research
09/09/2021

Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

This volume contains the post-proceedings of the 8th Workshop on Horn Cl...
research
08/23/2017

Proceedings Fifth International Workshop on Verification and Program Transformation

This volume contains the proceedings of the Fifth International Workshop...
research
04/26/2020

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems

This volume contains the proceedings of MARS 2020, the fourth workshop o...
research
08/08/2023

Current and Future Challenges in Knowledge Representation and Reasoning

Knowledge Representation and Reasoning is a central, longstanding, and a...
research
01/15/2021

Artificial Intelligence for IT Operations (AIOPS) Workshop White Paper

Artificial Intelligence for IT Operations (AIOps) is an emerging interdi...
research
09/23/2017

Autonomous Agents Modelling Other Agents: A Comprehensive Survey and Open Problems

Much research in artificial intelligence is concerned with the developme...

Please sign up or login with your details

Forgot password? Click here to reset