{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:26:43Z","timestamp":1729646803342,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/cdc.2014.7040192","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T19:53:59Z","timestamp":1424202839000},"page":"5137-5142","source":"Crossref","is-referenced-by-count":12,"title":["Planning mobile robots with Boolean-based specifications"],"prefix":"10.1109","author":[{"given":"Cristian","family":"Mahulea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Kloetzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2003.817387"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2010.2098270"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6579825"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648102"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/3-540-65306-6_19","article-title":"Linear algebraic and linear programming techniques for the analysis of PIT net systems","volume":"1491","author":"silva","year":"1998","journal-title":"Lectures in Petri Nets I Basic Models"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2003.814503"},{"key":"ref17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-77974-2","author":"berg","year":"2008","journal-title":"Computational Geom-etry Algorithms and Applications"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.884957"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907707"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.851359"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6160478"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.cor.2012.07.004"},{"key":"ref7","article-title":"A Petri net based approach for multi-robot path planning","author":"kloetzer","year":"2013","journal-title":"Discrete Event Dynamic Systems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942117"},{"journal-title":"Principles of Robot Motion Theory Algorithms and Implementations","year":"2005","author":"choset","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-012-9288-x"},{"journal-title":"Boolean Reasoning The Logic of Boolean Equations","year":"2012","author":"brown","key":"ref20"},{"journal-title":"Practical Optimization A Gentle Introduction","year":"2004","author":"chinneck","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72397-4_21"},{"article-title":"Software tool for motion planning based on Boolean specifications and PN abstractions","year":"2014","author":"mahulea","key":"ref24"},{"article-title":"GNU linear programming kit","year":"2012","author":"makhorin","key":"ref23"}],"event":{"name":"2014 IEEE 53rd Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2014,12,15]]},"location":"Los Angeles, CA, USA","end":{"date-parts":[[2014,12,17]]}},"container-title":["53rd IEEE Conference on Decision and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7027307\/7039338\/07040192.pdf?arnumber=7040192","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,30]],"date-time":"2020-08-30T02:53:02Z","timestamp":1598755982000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7040192\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/cdc.2014.7040192","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}