國立高雄大學圖資館 |

登入

回首頁

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Agents and robots for reliable engineered autonomyedited by Angelo Ferrando, Rafael C. Cardoso.
其他題名:	4th workshop, AREA 2024, Santiago de Compostela, Spain, October 19, 2024, proceedings /
其他題名:	AREA 2024
其他作者:	Ferrando, Angelo.
團體作者:
出版者:	Cham :Springer Nature Switzerland :2025.
面頁冊數:	xi, 165 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Artificial intelligence.
電子資源:	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)