{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:02:55Z","timestamp":1730343775408,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.23919\/fmcad.2017.8102262","type":"proceedings-article","created":{"date-parts":[[2017,11,9]],"date-time":"2017-11-09T16:49:00Z","timestamp":1510246140000},"page":"212-219","source":"Crossref","is-referenced-by-count":8,"title":["Parameterized verification of algorithms for oblivious robots on a ring"],"prefix":"10.23919","author":[{"given":"Arnaud","family":"Sangnier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nathalie","family":"Sznajder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Potop-Butucaru","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastien","family":"Tixeuil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"187","article-title":"Certified universal gathering in mathbb R2 for oblivious mobile robots","author":"courtieu","year":"2016","journal-title":"Proc of DISC'16 volume 9888 of LNCS"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2013.89"},{"key":"ref12","first-page":"337","article-title":"Z3: an efficient SMT solver","volume":"4963","author":"de moura","year":"2008","journal-title":"TACAS'08"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33536-5_7"},{"key":"ref14","first-page":"201","article-title":"Model checking of a mobile robots perpetual exploration algorithm","volume":"10189","author":"doan","year":"2016","journal-title":"Proc of SOFL+MSVL Revised Selected Papers"},{"year":"0","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s00453-011-9611-5"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.2200\/S00440ED1V01Y201208DCT010"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.2200\/S00278ED1V01Y201004DCT001"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(02)00646-1"},{"key":"ref4","first-page":"101","article-title":"Formal Methods for Mobile Robots: Current Results and Open Problems","volume":"7","author":"b\u00e9rard","year":"2015","journal-title":"Inform Soc Int J"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-49259-9_2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15763-9_29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-016-0271-1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1976-0396605-3"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/SRDSW.2014.34"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-03089-0_13"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(86)90071-2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2014.11.001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11764-5_17"},{"key":"ref22","first-page":"185","article-title":"Verification of asynchronous mobile-robots in partially-known environments","volume":"9387","author":"rubin","year":"0","journal-title":"Proc of PRIMA'15"},{"journal-title":"Computation Finite and Infinite Machines","year":"1967","author":"minsky","key":"ref21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/S009753979628292X"}],"event":{"name":"2017 Formal Methods in Computer-Aided Design (FMCAD)","start":{"date-parts":[[2017,10,2]]},"location":"Vienna","end":{"date-parts":[[2017,10,6]]}},"container-title":["2017 Formal Methods in Computer Aided Design (FMCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8093672\/8102222\/08102262.pdf?arnumber=8102262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,12,11]],"date-time":"2017-12-11T17:40:43Z","timestamp":1513014043000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8102262\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/fmcad.2017.8102262","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}