Agents and Robots for Reliable Engineered Autonomy
This book contains the contributions of the Special Issue entitled "Agents and Robots for Reliable Engineered Autonomy". The Special Issue was based on the successful first edition of the "Workshop on Agents and Robots for reliable Engineered Autonomy" (AREA 2020), co-located wit...
Saved in:
| Other Authors: | , , , , |
|---|---|
| Format: | Electronic Book Chapter |
| Language: | English |
| Published: |
Basel, Switzerland
MDPI - Multidisciplinary Digital Publishing Institute
2021
|
| Subjects: | |
| Online Access: | DOAB: download the publication DOAB: description of the publication |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000naaaa2200000uu 4500 | ||
|---|---|---|---|
| 001 | doab_20_500_12854_76848 | ||
| 005 | 20220111 | ||
| 003 | oapen | ||
| 006 | m o d | ||
| 007 | cr|mn|---annan | ||
| 008 | 20220111s2021 xx |||||o ||| 0|eng d | ||
| 020 | |a books978-3-0365-1860-2 | ||
| 020 | |a 9783036518596 | ||
| 020 | |a 9783036518602 | ||
| 040 | |a oapen |c oapen | ||
| 024 | 7 | |a 10.3390/books978-3-0365-1860-2 |c doi | |
| 041 | 0 | |a eng | |
| 042 | |a dc | ||
| 072 | 7 | |a TB |2 bicssc | |
| 100 | 1 | |a Cardoso, Rafael C. |4 edt | |
| 700 | 1 | |a Ferrando, Angelo |4 edt | |
| 700 | 1 | |a Briola, Daniela |4 edt | |
| 700 | 1 | |a Menghi, Claudio |4 edt | |
| 700 | 1 | |a Ahlbrecht, Tobias |4 edt | |
| 700 | 1 | |a Cardoso, Rafael C. |4 oth | |
| 700 | 1 | |a Ferrando, Angelo |4 oth | |
| 700 | 1 | |a Briola, Daniela |4 oth | |
| 700 | 1 | |a Menghi, Claudio |4 oth | |
| 700 | 1 | |a Ahlbrecht, Tobias |4 oth | |
| 245 | 1 | 0 | |a Agents and Robots for Reliable Engineered Autonomy |
| 260 | |a Basel, Switzerland |b MDPI - Multidisciplinary Digital Publishing Institute |c 2021 | ||
| 300 | |a 1 electronic resource (150 p.) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 506 | 0 | |a Open Access |2 star |f Unrestricted online access | |
| 520 | |a This book contains the contributions of the Special Issue entitled "Agents and Robots for Reliable Engineered Autonomy". The Special Issue was based on the successful first edition of the "Workshop on Agents and Robots for reliable Engineered Autonomy" (AREA 2020), co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020). The aim was to bring together researchers from autonomous agents, as well as software engineering and robotics communities, as combining knowledge from these three research areas may lead to innovative approaches that solve complex problems related to the verification and validation of autonomous robotic systems. | ||
| 540 | |a Creative Commons |f https://creativecommons.org/licenses/by/4.0/ |2 cc |4 https://creativecommons.org/licenses/by/4.0/ | ||
| 546 | |a English | ||
| 650 | 7 | |a Technology: general issues |2 bicssc | |
| 653 | |a belief-desire-intention (BDI) | ||
| 653 | |a jason | ||
| 653 | |a robot operating system (ROS) | ||
| 653 | |a robotic agents | ||
| 653 | |a collective autonomy | ||
| 653 | |a self-organisation | ||
| 653 | |a aggregate computing | ||
| 653 | |a multi-agent systems | ||
| 653 | |a coordination | ||
| 653 | |a robotics | ||
| 653 | |a software engineering | ||
| 653 | |a verification and validation | ||
| 653 | |a human-agent interaction | ||
| 653 | |a Rules of the Road | ||
| 653 | |a Autonomous Vehicles | ||
| 653 | |a agents | ||
| 653 | |a model checking | ||
| 653 | |a self-driving vehicle | ||
| 653 | |a formal verification | ||
| 653 | |a rational agent | ||
| 653 | |a decision-making | ||
| 653 | |a ROS | ||
| 653 | |a n/a | ||
| 856 | 4 | 0 | |a www.oapen.org |u https://mdpi.com/books/pdfview/book/4297 |7 0 |z DOAB: download the publication |
| 856 | 4 | 0 | |a www.oapen.org |u https://directory.doabooks.org/handle/20.500.12854/76848 |7 0 |z DOAB: description of the publication |