LEADER 03200nam 22004933 450 001 9910983380403321 005 20241016080310.0 010 $a9783031731808 010 $a3031731808 035 $a(MiAaPQ)EBC31724997 035 $a(Au-PeEL)EBL31724997 035 $a(CKB)36340922500041 035 $a(Exl-AI)31724997 035 $a(EXLCZ)9936340922500041 100 $a20241016d2024 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAgents and Robots for Reliable Engineered Autonomy $e4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings 205 $a1st ed. 210 1$aCham :$cSpringer,$d2024. 210 4$dİ2025. 215 $a1 online resource (175 pages) 225 1 $aCommunications in Computer and Information Science Series ;$vv.2230 311 08$a9783031731792 311 08$a3031731794 327 $a 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 Representation$7Generated by AI. 330 $aThis 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.$7Generated by AI. 410 0$aCommunications in Computer and Information Science Series 606 $aAutonomous robots$7Generated by AI 606 $aMultiagent systems$7Generated by AI 615 0$aAutonomous robots 615 0$aMultiagent systems 700 $aFerrando$b Angelo$01784326 701 $aCardoso$b Rafael C$01314815 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910983380403321 996 $aAgents and Robots for Reliable Engineered Autonomy$94315993 997 $aUNINA