Agents and Robots for reliable Engineered Autonomy

This book constitutes the proceedings of the 4th Workshops on Agents and Robots for Reliable Engineered Autonomy, AREA 2024, which took place in Santiago de Compostela, Spain, on October 19, 2024, in conjunction with ECAI 2024.

The 9 full papers and 1 short paper included in this book were carefully reviewed and selected from 14 submissions. They deal with agent-oriented software engineering, robotic applications, formal verification, and artificial intelligence.

Inhalt

Risk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems.- Agents as a design paradigm for robotic systems leveraging ROS and Gazebo.- Verification-Oriented Specification of Multi-Agent Interaction Patterns.- Evaluation of Human Interaction with Fleets of Automated Vehicles in Dynamic Underground Mining Environments.- Signal sparsity considerations for using VAE with non-visual data: case study of proximity sensors on a mobile robot.- Planning with Non-Deterministic Actions in Jason.- Bid Intercession to Unlock Human Control in Decentralized Consensus-based Multi-Robot Task Allocation Algorithms.- Reason logically, move continuously.- Attentive A* for Visual Cue based Path Planning in Complex Environments.- Centralized Stochastic Multi-Agent Pathfinding under Partial Observability.