{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:46:45Z","timestamp":1729637205905,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1109\/robot.2009.5152605","type":"proceedings-article","created":{"date-parts":[[2009,7,1]],"date-time":"2009-07-01T14:16:05Z","timestamp":1246457765000},"page":"2055-2060","source":"Crossref","is-referenced-by-count":10,"title":["Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)"],"prefix":"10.1109","author":[{"given":"M.","family":"Lahijanian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Kloetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Itani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Belta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.B.","family":"Andersson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-78929-1_21","article-title":"dealing with non-determinism in symbolic control","author":"kloetzer","year":"2008","journal-title":"Hybrid Systems Computation and Control 11th Interna- Tional Workshop"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6656-1_2"},{"key":"14","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 Interna- Tional Conference on Computer-Aided Verification (CAV 2002)"},{"key":"11","first-page":"364","article-title":"synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"VMCAI Charleston"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"3","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36580-X_36","article-title":"model checking ltl over controllable linear systems is decidable","volume":"2623","author":"tabuada","year":"2003","journal-title":"ser Lecture Notes in Computer Science"},{"key":"2","first-page":"280","article-title":"non-deterministic temporal logics for general flow systems","author":"davoren","year":"2004","journal-title":"HSCC 7th International Workshop"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"1"},{"journal-title":"Finite Transition Systems Semantics of Communicating Systems","year":"2007","author":"arnold","key":"10"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/M-RA.2007.914921"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2004.1428622"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"journal-title":"2007 Darpa Urban Challenge","year":"2007","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/5.871304"}],"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\/05152605.pdf?arnumber=5152605","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T01:16:44Z","timestamp":1558401404000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5152605\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/robot.2009.5152605","relation":{},"subject":[],"published":{"date-parts":[[2009,5]]}}}