國立高雄大學圖資館 |

Language: English

Back

Agents and robots for reliable engineered autonomy4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Agents and robots for reliable engineered autonomyedited 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:
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$q(electronic bk.)

Agents and robots for reliable engineered autonomy4th 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 ;229..

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$q(electronic bk.)

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

275408
Artificial intelligence.

LC Class. No.: Q334

Dewey Class. No.: 006.3

Agents and robots for reliable engineered autonomy4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings /
LDR:02470nmm a22003495a 4500 001 692661
003 DE-He213
005 20251229075325.0
006 m d
007 cr nn 008maaau
008 260622s2025 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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 : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
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 275408
650 0 $a Multiagent systems. $3 1009127
650 0 $a Application software. $3 200645
650 1 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Multiagent Systems. $3 848000
650 2 4 $a Computer and Information Systems Applications. $3 913125
700 1 $a Ferrando, Angelo. $3 1009125
700 1 $a Cardoso, Rafael C. $3 1009126
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Communications in computer and information science ; $v 229. $3 547963
856 4 0 $u https://doi.org/10.1007/978-3-031-73180-8
950 $a Artificial Intelligence (R0) (SpringerNature-85269)