03200nam 22004933 450 991098338040332120241016080310.097830317318083031731808(MiAaPQ)EBC31724997(Au-PeEL)EBL31724997(CKB)36340922500041(Exl-AI)31724997(EXLCZ)993634092250004120241016d2024 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAgents and Robots for Reliable Engineered Autonomy 4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings1st ed.Cham :Springer,2024.©2025.1 online resource (175 pages)Communications in Computer and Information Science Series ;v.22309783031731792 3031731794 Preface -- Invited Talks -- Organisation -- Contents -- Risk-Aware On-the-Fly Solving of Physical Vehicle Routing Problems -- 1 Introduction -- 2 Related Work -- 3 Towards a Problem Formulation -- 4 Complexity Considerations -- 5 Implementation Considerations -- 6 Experiments -- 7 Conclusion -- References -- Agents as a Design Paradigm for Robotic Systems Leveraging ROS and Gazebo -- 1 Introduction -- 2 Related Work -- 3 Design Concepts and the Agent Paradigm -- 4 Developing Robotic Systems with ROS and Gazebo -- 5 Agents for ROS and Gazebo Designing -- 5.1 Case Study and Validation -- 6 Conclusions -- References -- Verification-Oriented Specification of Multi-agent Interaction Patterns -- 1 Introduction -- 2 Related Work -- 3 Background -- 4 Illustrative Example -- 5 Translating LIrAs patterns to SHA -- 5.1 Hierarchical LIrAs Pattern Structure -- 5.2 DFA RepresentationGenerated by AI.This book is a collection of proceedings from the 4th Workshop on Agents and Robots for Reliable Engineered Autonomy (AREA 2024), held in Santiago de Compostela, Spain. It focuses on the intersection of autonomous agents, robotics, and software engineering, highlighting the challenges and solutions in developing reliable autonomous systems. Topics include agent-based modular architectures, software engineering for robotic development, and formal verification of multi-agent systems. The workshop aims to enhance understanding and showcase applications in engineering intelligent agents and multi-agent systems, with discussions led by experts in strategic reasoning and automated planning.Generated by AI.Communications in Computer and Information Science SeriesAutonomous robotsGenerated by AIMultiagent systemsGenerated by AIAutonomous robotsMultiagent systemsFerrando Angelo1784326Cardoso Rafael C1314815MiAaPQMiAaPQMiAaPQBOOK9910983380403321Agents and Robots for Reliable Engineered Autonomy4315993UNINA