{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,19]],"date-time":"2025-04-19T21:41:00Z","timestamp":1745098860160},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1109\/acc.2005.1470736","type":"proceedings-article","created":{"date-parts":[[2005,8,10]],"date-time":"2005-08-10T10:45:32Z","timestamp":1123670732000},"page":"4690-4695 vol. 7","source":"Crossref","is-referenced-by-count":4,"title":["Formal techniques for the modelling and validation of a co-operating UAV team that uses Dubins set for path planning"],"prefix":"10.1109","author":[{"family":"Suresh Jeyaraman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Tsourdos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Ratal Zbikowski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"White","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"FeaVer 1 0 User Guide 1st Ed","year":"2002","key":"19"},{"key":"17","first-page":"131","article-title":"Logic verification of ANSI-C code with SPIN","year":"2000","journal-title":"Proceedings of the 7th International SPIN Workshop"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2002.995426"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459838"},{"key":"13","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/LICS.1996.561342","article-title":"The theory of hybrid automata","author":"henzinger","year":"1996","journal-title":"11th Annual IEEE Symposium on Logic in Computer Science (LICS'96)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45426-8_13"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2004.833789"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1990.145.367"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1243\/095965105X9506"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2002.1013620"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/32.940728"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2003.1242572"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3758-5"},{"key":"10","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-45351-2_14","article-title":"Hybrid feedback control for path tracking by a bounded-curvature vehicle","author":"balluchi","year":"2001","journal-title":"Hybrid Systems Computation and Control (HSCC)"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1429427"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044450813-3\/50026-6"},{"key":"5","article-title":"A framework and architecture for multirobot coordination","author":"alur","year":"2000","journal-title":"Seventh International Symposium on Experimental Robotics"},{"key":"4","first-page":"212","article-title":"Formal modeling and analysis of hybrid systems: A case study in multirobot coordination","author":"alur","year":"1999","journal-title":"Proceedings of the World Congress on Formal Methods"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(00)00127-5"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-5827"}],"event":{"name":"Proceedings of the 2005 American Control Conference","start":{"date-parts":[[2005,6,8]]},"location":"Portland, OR, USA","end":{"date-parts":[[2005,6,10]]}},"container-title":["Proceedings of the 2005, American Control Conference, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9861\/31519\/01470736.pdf?arnumber=1470736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,2]],"date-time":"2020-02-02T19:03:56Z","timestamp":1580670236000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1470736\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/acc.2005.1470736","relation":{},"subject":[],"published":{"date-parts":[[2005]]}}}