{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T09:04:36Z","timestamp":1725613476041},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/cdc.2017.8263775","type":"proceedings-article","created":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T15:30:57Z","timestamp":1516721457000},"page":"911-917","source":"Crossref","is-referenced-by-count":8,"title":["Decomposing GR(1) games with singleton liveness guarantees for efficient synthesis"],"prefix":"10.1109","author":[{"given":"Sumanth","family":"Dathathri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Efficient model checking in fragments of the propositional mu-calculus","author":"emerson","year":"1986","journal-title":"Proc Symp on Logic in Computer Science"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CCA.2016.7587949"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798525"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2005.01.006"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(82)90125-6"},{"journal-title":"gr1c a collection of tools for GR (1) synthesis and related activities","year":"0","author":"livingston","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631298"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58940-9"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"journal-title":"Principles of Model Checking (Representation and Mind Series)","year":"2008","author":"baier","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00228-9"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"journal-title":"Decomposing gr (1) games with singleton liveness guarantees for efficient synthesis","year":"2016","author":"dathathri","key":"ref8"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1515\/9781400831470","author":"bullo","year":"2009","journal-title":"Distributed Control of Robotic Networks Applied Mathematics Series"},{"key":"ref2","first-page":"501","author":"alur","year":"2015","journal-title":"Pattern-Based Refinement of Assume-Guarantee Specifications in Reactive Synthesis"},{"journal-title":"Branching Programs and Binary Decision Diagrams Theory and Applications","year":"2000","key":"ref1"},{"key":"ref9","first-page":"333","author":"ehlers","year":"2016","journal-title":"Slugs Extensible GR (1) Synthesis"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426081"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-10778-2"}],"event":{"name":"2017 IEEE 56th Annual Conference on Decision and Control (CDC)","start":{"date-parts":[[2017,12,12]]},"location":"Melbourne, Australia","end":{"date-parts":[[2017,12,15]]}},"container-title":["2017 IEEE 56th Annual Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8253407\/8263624\/08263775.pdf?arnumber=8263775","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T14:30:15Z","timestamp":1570631415000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8263775\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cdc.2017.8263775","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}