01485nam2-2200409li-450 99000020349020331620180312154621.03.540-55822-50020349USA010020349(ALEPH)000020349USA01002034920001109d1992----km-y0itay0103----baengGWCONCUR'923th international conference on concurrency theoryStony Brook, NY,USA, August 24-27, 1992proceedingsW. R. Cleaveland (ed.)Berlin [etc.]Springer-Verlagcopyr. 1992579 p.ill.25 cmLecture notes in computer science63000100202642001Lecture notes in computer sciencecongressistony brook1992elaboratori elettronicisistemi operativiprogrammazionecongressi199200542Programmazione di sistemaCleaveland,W. RanceInternational conference on concurrency theory3.Stony Brook1992745694Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000203490203316001 LNCS (630)001456000100102687BKSCI1992121120001110USA011714ALANDI9020010129USA01093420020403USA011628PATRY9020040406USA011615CONCUR'921487551UNISA02814nam 2200709z- 450 991055748560332120220111(CKB)5400000000042976(oapen)https://directory.doabooks.org/handle/20.500.12854/76848(oapen)doab76848(EXLCZ)99540000000004297620202201d2021 |y 0engurmn|---annantxtrdacontentcrdamediacrrdacarrierAgents and Robots for Reliable Engineered AutonomyBasel, SwitzerlandMDPI - Multidisciplinary Digital Publishing Institute20211 online 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 issuesbicsscagentsaggregate computingAutonomous Vehiclesbelief-desire-intention (BDI)collective autonomycoordinationdecision-makingformal verificationhuman-agent interactionjasonmodel checkingmulti-agent systemsn/arational agentrobot operating system (ROS)robotic agentsroboticsROSRules of the Roadself-driving vehicleself-organisationsoftware engineeringverification and validationTechnology: general issuesCardoso Rafael Cedt1314815Ferrando AngeloedtBriola DanielaedtMenghi ClaudioedtAhlbrecht TobiasedtCardoso Rafael CothFerrando AngeloothBriola DanielaothMenghi ClaudioothAhlbrecht TobiasothBOOK9910557485603321Agents and Robots for Reliable Engineered Autonomy3032003UNINA