國立虎尾科技大學 |

Agents and robots for reliable engineered autonomy = 4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Agents and robots for reliable engineered autonomy/ edited by Angelo Ferrando, Rafael C. Cardoso.
Reminder of title:	4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings /
remainder title:	AREA 2024
other author:	Ferrando, Angelo.
corporate name:	Workshop on the Preservation of Stability under Discretization
Published:	Cham :Springer Nature Switzerland : : 2025.,
Description:	xi, 165 p. :ill., digital ; : 24 cm.;
Contained By:	Springer Nature eBook
Subject:	Artificial intelligence. -
Online resource:	https://doi.org/10.1007/978-3-031-73180-8
ISBN:	9783031731808

Agents and robots for reliable engineered autonomy = 4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings /
Agents and robots for reliable engineered autonomy4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings /[electronic resource] :AREA 2024edited by Angelo Ferrando, Rafael C. Cardoso. - Cham :Springer Nature Switzerland :2025. - xi, 165 p. :ill., digital ;24 cm. - Communications in computer and information science,22301865-0937 ;. - Communications in computer and information science ;311..

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.

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.

ISBN: 9783031731808

Standard No.: 10.1007/978-3-031-73180-8doiSubjects--Topical Terms:

677887
Artificial intelligence.

LC Class. No.: Q334

Dewey Class. No.: 006.3

Agents and robots for reliable engineered autonomy = 4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings /
LDR:02469nam a22003495a 4500 001 1172101
003 DE-He213
005 20251229075325.0
006 m d
007 cr nn 008maaau
008 260625s2025 sz s 0 eng d
020 $a 9783031731808 $q (electronic bk.)
020 $a 9783031731792 $q (paper)
024 7 $a 10.1007/978-3-031-73180-8 $2 doi
035 $a 978-3-031-73180-8
040 $a GP $c GP
041 0 $a eng
050 4 $a Q334
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
090 $a Q334 $b .W926 2024
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Agents and robots for reliable engineered autonomy $h [electronic resource] : $b 4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings / $c edited by Angelo Ferrando, Rafael C. Cardoso.
246 3 $a AREA 2024
260 $a Cham : $c 2025. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xi, 165 p. : $b ill., digital ; $c 24 cm.
490 1 $a Communications in computer and information science, $x 1865-0937 ; $v 2230
505 0 $a 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.
520 $a 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.
650 0 $a Artificial intelligence. $3 677887
650 0 $a Multiagent systems. $3 1502893
650 0 $a Application software. $3 528147
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Multiagent Systems. $3 1228090
650 2 4 $a Computer and Information Systems Applications. $3 1365732
700 1 $a Ferrando, Angelo. $3 1502891
700 1 $a Cardoso, Rafael C. $3 1502892
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Communications in computer and information science ; $v 311. $3 881211
856 4 0 $u https://doi.org/10.1007/978-3-031-73180-8
950 $a Artificial Intelligence (R0) (SpringerNature-85269)