{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T18:47:46Z","timestamp":1784573266657,"version":"3.55.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,12,1]],"date-time":"2019-12-01T00:00:00Z","timestamp":1575158400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1109\/cdc40024.2019.9029766","type":"proceedings-article","created":{"date-parts":[[2020,3,13]],"date-time":"2020-03-13T04:43:11Z","timestamp":1584074591000},"page":"1068-1075","source":"Crossref","is-referenced-by-count":2,"title":["Minimising Makespan of Discrete Controllers: A Qualitative Approach"],"prefix":"10.1109","author":[{"given":"Ezequiel","family":"Castellano","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Braberman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"D'Ippolito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kenji","family":"Tei","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00374-0"},{"key":"ref11","first-page":"1852","article-title":"When is temporal planning really temporal?","author":"cushing","year":"2007","journal-title":"IJCAI 2007 Proceedings of the 20th International Joint Conference on Artificial Intelligence"},{"key":"ref12","first-page":"109","article-title":"Interface automata","author":"de alfaro","year":"2001","journal-title":"ESEC-FSE"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/940103.940106"},{"key":"ref14","first-page":"110","article-title":"Expressive planning and explicit knowledge","author":"goldman","year":"1996","journal-title":"Proceedings of the Third International Conference on Artificial Intelligence Planning Systems"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(81)90026-3"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606605"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/3-540-59042-0_76","article-title":"On the synthesis of discrete controllers for timed systems (an extended abstract)","author":"maler","year":"1995","journal-title":"STACS"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1989.70672"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"ref27","author":"thrun","year":"2005","journal-title":"Probabilistic Robotics (Intelligent Robotics and Autonomous Agents)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10575-8_11"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(93)90075-W"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_14"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.36"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.26"},{"key":"ref2","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref9","first-page":"3254","article-title":"Strong temporal planning with uncontrollable durations: A state-space approach","author":"cimatti","year":"2015","journal-title":"Proceedings of the 29th AAAI Conference on Artificial Intelligence 2015 Austin Texas USA"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167242"},{"key":"ref20","first-page":"364","article-title":"Synthesis of reactive (1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1613\/jair.277"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref24","article-title":"Parametric Scheduling for Hard Real-time Systems","author":"saksena","year":"1994","journal-title":"PhD thesis"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0006306"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_57"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1109\/TAC.2011.2157391","article-title":"The synthesis of time optimal supervisors by using heaps-of-pieces","volume":"57","author":"su","year":"2012","journal-title":"IEEE Transactions on Automatic Control"}],"event":{"name":"2019 IEEE 58th Conference on Decision and Control (CDC)","location":"Nice, France","start":{"date-parts":[[2019,12,11]]},"end":{"date-parts":[[2019,12,13]]}},"container-title":["2019 IEEE 58th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8977134\/9028853\/09029766.pdf?arnumber=9029766","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:18:43Z","timestamp":1658261923000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9029766\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/cdc40024.2019.9029766","relation":{},"subject":[],"published":{"date-parts":[[2019,12]]}}}