LEADER 03163nam  22005775  450 
001 9911034955403321
005 20251011130422.0
010   $a3-032-08049-5
024 7 $a10.1007/978-3-032-08049-3
035   $a(MiAaPQ)EBC32342987
035   $a(Au-PeEL)EBL32342987
035   $a(CKB)41621550800041
035   $a(DE-He213)978-3-032-08049-3
035   $a(EXLCZ)9941621550800041
100   $a20251011d2025      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAgents and Robots for reliable Engineered Autonomy $e5th Workshop, AREA 2025, Bologna, Italy, October 25, 2025, Proceedings /$fedited by Angelo Ferrando, Rafael C. Cardoso
205   $a1st ed. 2025.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2025.
215   $a1 online resource (210 pages)
225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v2700
311 08$a3-032-08048-7 
327   $a -- Conversational Text-to-SQL: A Comprehensive Survey of Paradigms, Challenges, and Future Directions.  -- Selecting the Most Specific Plan in AgentSpeak Programs.  -- A wearable stereo vision-based obstacle detection system for visually impaired individuals.  -- Towards Safe Action Policies in Multi-robot Systems with Causal Reinforcement Learning.  -- A Formal Factorization Approach of Non-Deterministic Plans: Application to an Anti-Poaching Robotic Mission Scenario.  -- Sim-to-Real 6-DoF Pose Estimation for UAVs using Synthetic RGB-D Data.  -- Corroborative V&V for Autonomous Systems: Integrating Evidence and Discrepancy Analysis for Safety Assurance.  -- BC-MPPI: A Probabilistic Constraint Layer for Safe Model-Predictive Path-Integral Control.
330   $aThis book constitutes the proceedings of the 5th International Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2025, which took place in Bologna, Italy, on October 25, 2025, in conjunction with ECAI 2025. The 8 full papers included in this book were carefully reviewed and selected from 13 submissions. They deal with agent-oriented software engineering, robotic applications, formal verification, and artificial intelligence. .
410  0$aCommunications in Computer and Information Science,$x1865-0937 ;$v2700
606   $aArtificial intelligence
606   $aMultiagent systems
606   $aApplication software
606   $aArtificial Intelligence
606   $aMultiagent Systems
606   $aComputer and Information Systems Applications
615  0$aArtificial intelligence.
615  0$aMultiagent systems.
615  0$aApplication software.
615 14$aArtificial Intelligence.
615 24$aMultiagent Systems.
615 24$aComputer and Information Systems Applications.
676   $a006.3
700   $aFerrando$b Angelo$01784326
701   $aCardoso$b Rafael C$01314815
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911034955403321
996   $aAgents and Robots for Reliable Engineered Autonomy$94315993
997   $aUNINA