Annals of Mathematics and Artificial Intelligence - Call for Papers: Special Issue of Agents and Robots for Reliable Engineered Autonomy 2023

Title: Special Issue of Agents and Robots for Reliable Engineered Autonomy 2023.

This Special Issue aims to bring together researchers from the autonomous agents and the robotics communities, since combining knowledge from these two research areas may lead to innovative approaches that solve complex problems related to the verification and validation of autonomous robotic systems. Therefore, we encourage submissions that combine robots, agents, software engineering, and verification. You can submit the papers to this Special Issue at any time before the deadline.

The main topics include but are not limited to:

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
Engineering reliable interactions between humans and autonomous robots or agents
Fault tolerance, health-management, and long-term autonomy
Neuro-symbolic artificial intelligence
Real world applications of autonomous agents and multi-agent systems in robotics
Runtime verification of autonomous agents and robotic systems
Task and resource allocation in multi-robot systems
Verification and validation of autonomous systems

Guest Editors:
- Angelo Ferrando, University of Genoa, Italy (angelo.ferrando@unige.it (this opens in a new tab))
- Rafael C. Cardoso, University of Aberdeen, United Kingdom (rafael.cardoso@abdn.ac.uk (this opens in a new tab))