| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910983380403321 |
|
|
Autore |
Ferrando Angelo |
|
|
Titolo |
Agents and Robots for reliable Engineered Autonomy : 4th Workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, Proceedings / / edited by Angelo Ferrando, Rafael C. Cardoso |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (175 pages) |
|
|
|
|
|
|
Collana |
|
Communications in Computer and Information Science, , 1865-0937 ; ; 2230 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Multiagent systems |
Application software |
Artificial Intelligence |
Multiagent Systems |
Computer and Information Systems Applications |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. . |
|
|
|
|
|
| |