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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| 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
|
| Pubblicazione: | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Edizione: | 1st ed. 2025. |
| Descrizione fisica: | 1 online resource (175 pages) |
| Disciplina: | 006.3 |
| Soggetto topico: | Artificial intelligence |
| Multiagent systems | |
| Application software | |
| Artificial Intelligence | |
| Multiagent Systems | |
| Computer and Information Systems Applications | |
| Altri autori: |
CardosoRafael C
|
| 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. . |
| Titolo autorizzato: | Agents and Robots for Reliable Engineered Autonomy |
| ISBN: | 9783031731808 |
| 3031731808 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910983380403321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Communications in Computer and Information Science, . 1865-0937 ; ; 2230