02777nam 2200685z- 450 991055748560332120231214133129.0(CKB)5400000000042976(oapen)https://directory.doabooks.org/handle/20.500.12854/76848(EXLCZ)99540000000004297620202201d2021 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierAgents and Robots for Reliable Engineered AutonomyBasel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20211 electronic resource (150 p.)3-0365-1859-2 3-0365-1860-6 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.Technology: general issuesbicsscbelief-desire-intention (BDI)jasonrobot operating system (ROS)robotic agentscollective autonomyself-organisationaggregate computingmulti-agent systemscoordinationroboticssoftware engineeringverification and validationhuman-agent interactionRules of the RoadAutonomous Vehiclesagentsmodel checkingself-driving vehicleformal verificationrational agentdecision-makingROSTechnology: general issuesCardoso Rafael Cedt1314815Ferrando AngeloedtBriola DanielaedtMenghi ClaudioedtAhlbrecht TobiasedtCardoso Rafael CothFerrando AngeloothBriola DanielaothMenghi ClaudioothAhlbrecht TobiasothBOOK9910557485603321Agents and Robots for Reliable Engineered Autonomy3032003UNINA