Agents and Robots for Reliable Engineered Autonomy: 5th Workshop, Area 2025, Bologna, Italy, October 25, 2025, Proceedings
暫譯: 可靠工程自主的代理與機器人:第五屆研討會,2025年區域,義大利博洛尼亞,2025年10月25日,會議紀錄
Ferrando, Angelo, Cardoso, Rafael C.
相關主題
商品描述
This 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.
商品描述(中文翻譯)
本書為第五屆國際工作坊「可靠工程自主的代理與機器人」(Agents and Robots for Reliable Engineered Autonomy, AREA 2025)的會議紀錄,該工作坊於2025年10月25日在義大利博洛尼亞舉行,並與ECAI 2025同時舉辦。
本書收錄的8篇完整論文經過仔細審查和選擇,來自13篇投稿。這些論文涉及代理導向的軟體工程、機器人應用、形式驗證以及人工智慧。