LEADER 02777nam  2200685z- 450 
001 9910557485603321
005 20231214133129.0
035   $a(CKB)5400000000042976
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/76848
035   $a(EXLCZ)995400000000042976
100   $a20202201d2021      |y             0
101 0 $aeng
135   $aurmn|---annan
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAgents and Robots for Reliable Engineered Autonomy
210   $aBasel, Switzerland$cMDPI - Multidisciplinary Digital Publishing Institute$d2021
215   $a1 electronic resource (150 p.)
311   $a3-0365-1859-2 
311   $a3-0365-1860-6 
330   $aThis 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.
606   $aTechnology: general issues$2bicssc
610   $abelief-desire-intention (BDI)
610   $ajason
610   $arobot operating system (ROS)
610   $arobotic agents
610   $acollective autonomy
610   $aself-organisation
610   $aaggregate computing
610   $amulti-agent systems
610   $acoordination
610   $arobotics
610   $asoftware engineering
610   $averification and validation
610   $ahuman-agent interaction
610   $aRules of the Road
610   $aAutonomous Vehicles
610   $aagents
610   $amodel checking
610   $aself-driving vehicle
610   $aformal verification
610   $arational agent
610   $adecision-making
610   $aROS
615  7$aTechnology: general issues
700   $aCardoso$b Rafael C$4edt$01314815
702   $aFerrando$b Angelo$4edt
702   $aBriola$b Daniela$4edt
702   $aMenghi$b Claudio$4edt
702   $aAhlbrecht$b Tobias$4edt
702   $aCardoso$b Rafael C$4oth
702   $aFerrando$b Angelo$4oth
702   $aBriola$b Daniela$4oth
702   $aMenghi$b Claudio$4oth
702   $aAhlbrecht$b Tobias$4oth
906   $aBOOK
912   $a9910557485603321
996   $aAgents and Robots for Reliable Engineered Autonomy$93032003
997   $aUNINA