{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:23:51Z","timestamp":1729614231234,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042492","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T20:57:26Z","timestamp":1318539446000},"page":"507-512","source":"Crossref","is-referenced-by-count":11,"title":["Software tool for constructing cell decompositions"],"prefix":"10.1109","author":[{"given":"Marius","family":"Kloetzer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Narcis","family":"Ghita","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"4417","DOI":"10.1109\/ROBOT.2004.1302413","article-title":"Multi-robot motion planning: A timed automata approach","author":"quottrup","year":"2004","journal-title":"Proceedings of the 2004 IEEE International Conference on Robotics and Automation"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CASE.2011.6042492"},{"year":"0","key":"ref13","article-title":"MATLAB® 2010b"},{"key":"ref14","first-page":"145","article-title":"Approximation and decomposition of shapes","author":"chazelle","year":"1987","journal-title":"Algorithmic and Geometric Aspects of Robotics"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1142\/9789814355858_0006"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/41958.41981"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s00454-008-9060-3"},{"year":"0","key":"ref18","article-title":"Cgal, Computational Geometry Algorithms Library"},{"key":"ref19","article-title":"The double description method","volume":"2","author":"motzkin","year":"1953","journal-title":"Contributions to the Theory of Games"},{"journal-title":"Computer Vision","year":"2001","author":"shapiro","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2050001"},{"journal-title":"Principles of Robot Motion Theory Algorithms and Implementations","year":"2005","author":"choset","key":"ref6"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-77974-2","author":"berg","year":"2008","journal-title":"Computational Geometry Algorithms and Applications"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4022-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.876952"},{"key":"ref1","article-title":"Series of abstractions for hybrid automata","author":"tiwari","year":"0","journal-title":"Fifth International Workshop on Hybrid Systems Computation and Control"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"article-title":"CDD\/CDD+ package","year":"0","author":"fukuda","key":"ref20"},{"article-title":"Matlab interface for the CDD solver","year":"0","author":"torrisi","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288933"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042492.pdf?arnumber=6042492","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T23:56:18Z","timestamp":1593129378000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042492\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042492","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}