TY  - GEN
AU  - Cardoso,Rafael C.
AU  - Ferrando,Angelo
AU  - Briola,Daniela
AU  - Menghi,Claudio
AU  - Ahlbrecht,Tobias
AU  - Cardoso,Rafael C.
AU  - Ferrando,Angelo
AU  - Briola,Daniela
AU  - Menghi,Claudio
AU  - Ahlbrecht,Tobias
TI  - Agents and Robots for Reliable Engineered Autonomy
SN  - books978-3-0365-1860-2
PY  - 2021///
CY  - Basel, Switzerland
PB  - MDPI - Multidisciplinary Digital Publishing Institute
KW  - Technology: general issues
KW  - bicssc
KW  - belief-desire-intention (BDI)
KW  - jason
KW  - robot operating system (ROS)
KW  - robotic agents
KW  - collective autonomy
KW  - self-organisation
KW  - aggregate computing
KW  - multi-agent systems
KW  - coordination
KW  - robotics
KW  - software engineering
KW  - verification and validation
KW  - human–agent interaction
KW  - Rules of the Road
KW  - Autonomous Vehicles
KW  - agents
KW  - model checking
KW  - self-driving vehicle
KW  - formal verification
KW  - rational agent
KW  - decision-making
KW  - ROS
KW  - n/a
N1  - Open Access
N2  - 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
UR  - https://mdpi.com/books/pdfview/book/4297
UR  - https://directory.doabooks.org/handle/20.500.12854/76848
ER  -