{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:02:37Z","timestamp":1729666957852,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/robot.2009.5152397","type":"proceedings-article","created":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T14:16:05Z","timestamp":1246457765000},"page":"869-874","source":"Crossref","is-referenced-by-count":8,"title":["Coordination of multiple non-holonomic agents with input constraints"],"prefix":"10.1109","author":[{"given":"A.S.","family":"Oikonomopoulos","sequence":"first","affiliation":[]},{"given":"S.G.","family":"Loizou","sequence":"additional","affiliation":[]},{"given":"K.J.","family":"Kyriakopoulos","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45657-0_29","article-title":"nusmv version 2: an opensource tool for symbolic model checking","volume":"2404","author":"cimatti","year":"2002","journal-title":"Proc International Conference on Computer-Aided Verification (CAV 2002)"},{"journal-title":"Hybrid Systems Computation and Abstraction","year":"1998","author":"pappas","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2007.912092"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1080\/00207720500438597"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/70.163777"},{"key":"10","first-page":"61","article-title":"symbolic planning and control of robot motion","volume":"14","author":"belta","year":"2007","journal-title":"IEEE Robot Autom Mag Special Issue on Grand Challenges of Robotics"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2007.4398998"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"5","article-title":"automatic synthesis of multiagent motion tasks based on ltl specifications","author":"loizou","year":"2004","journal-title":"Proceedings of the 43rd IEEE Conference on Decision and Control"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/9.664154"},{"key":"9","first-page":"232","article-title":"uppaal - a tool suite for automatic verification of real-time systems","author":"bengtsson","year":"1995","journal-title":"Proc Workshop Hybrid Systems III Verification and Control"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2004.1302413"}],"event":{"name":"2009 IEEE International Conference on Robotics and Automation (ICRA)","start":{"date-parts":[[2009,5,12]]},"location":"Kobe","end":{"date-parts":[[2009,5,17]]}},"container-title":["2009 IEEE International Conference on Robotics and Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5076472\/5152175\/05152397.pdf?arnumber=5152397","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T17:29:36Z","timestamp":1497806976000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5152397\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/robot.2009.5152397","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}