{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T19:14:12Z","timestamp":1725390852773},"reference-count":3,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/ictc.2010.5674805","type":"proceedings-article","created":{"date-parts":[[2010,12,29]],"date-time":"2010-12-29T22:07:26Z","timestamp":1293660446000},"page":"429-430","source":"Crossref","is-referenced-by-count":0,"title":["Modeling autonomous military robots using hybrid system framework"],"prefix":"10.1109","author":[{"family":"Jungjae Lee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Reeseo Cha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Younghun Han","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Wonhong Nam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Jin-young Choi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Won-Tae Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Seung-Min Park","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref3","first-page":"6","article-title":"Modular specifications of hybrid systems in CHARON","author":"alur","year":"0","journal-title":"HSCC 2000"},{"journal-title":"Wikipedia","year":"0","key":"ref2"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/3-540-57318-6_30","article-title":"Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems","author":"alur","year":"1993","journal-title":"Hybrid Systems LNCS 736"}],"event":{"name":"2010 International Conference on Information and Communication Technology Convergence (ICTC)","start":{"date-parts":[[2010,11,17]]},"location":"Jeju, Korea (South)","end":{"date-parts":[[2010,11,19]]}},"container-title":["2010 International Conference on Information and Communication Technology Convergence (ICTC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5668578\/5674255\/05674805.pdf?arnumber=5674805","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T17:48:05Z","timestamp":1497894485000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5674805\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":3,"URL":"https:\/\/doi.org\/10.1109\/ictc.2010.5674805","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}