{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:25:06Z","timestamp":1730341506646,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/acc.2018.8431867","type":"proceedings-article","created":{"date-parts":[[2018,8,17]],"date-time":"2018-08-17T20:16:10Z","timestamp":1534536970000},"page":"2356-2362","source":"Crossref","is-referenced-by-count":5,"title":["A Compositional Approach to Reactive Games under Temporal Logic Specifications"],"prefix":"10.23919","author":[{"given":"Abhishek Ninad","family":"Kulkarni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jie","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15643-4_10"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/978-3-319-41540-6_14","article-title":"Compositional synthesis of reactive controllers for multi-agent systems","author":"alur","year":"2016","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23217-6_34"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0115-3"},{"key":"ref14","volume":"2500","author":"thomas","year":"2002","journal-title":"Automata Logics and Infinite Games A Guide to Current Research"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref15"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"122","DOI":"10.1007\/978-3-319-46520-3_8","article-title":"Spot 2.0a framework for ltl and\\omega-automata manipulation","author":"duret-lutz","year":"2016","journal-title":"International Symposium on Automated Technology for Verification and Analysis"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2246095"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"},{"key":"ref6","first-page":"239","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"2015","journal-title":"Proceedings of the 18th International Conference on Hybrid Systems Computation and Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"ref7","first-page":"70","article-title":"Designing reactive robot controllers with ltlmop","author":"finucane","year":"2011","journal-title":"Proceedings of the 9th AAAI Conference on Automated Action Planning for Autonomous Mobile Robots"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/978-3-319-41540-6_18","article-title":"Slugs: Extensible gr (1) synthesis","author":"ehlers","year":"2016","journal-title":"International Conference on Computer Aided Verification"}],"event":{"name":"2018 Annual American Control Conference (ACC)","start":{"date-parts":[[2018,6,27]]},"location":"Milwaukee, WI","end":{"date-parts":[[2018,6,29]]}},"container-title":["2018 Annual American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8410068\/8430677\/08431867.pdf?arnumber=8431867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T00:01:24Z","timestamp":1598227284000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8431867\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/acc.2018.8431867","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}