{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:31:34Z","timestamp":1730280694723,"version":"3.28.0"},"reference-count":44,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"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,6]]},"DOI":"10.1109\/lics.2019.8785662","type":"proceedings-article","created":{"date-parts":[[2019,8,6]],"date-time":"2019-08-06T01:15:55Z","timestamp":1565054155000},"page":"1-13","source":"Crossref","is-referenced-by-count":5,"title":["Perspective Games"],"prefix":"10.1109","author":[{"given":"Orna","family":"Kupferman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gal","family":"Vardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90034-5"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-3(3:4)2007"},{"key":"ref33","article-title":"Reasoning about knowledge and strategies under hierarchical information","author":"maubert","year":"2018","journal-title":"Principles of Knowledge Representation and Reasoning-international Conference"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.2307\/1971035"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.06.020"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0236-z"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15155-2_52"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.23"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1979.25"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-013-9231-3"},{"journal-title":"Modular Synthesis of Reactive Systems","year":"1992","author":"rosner","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36387-4_17"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3055399.3055409"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1976.4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16242-8_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15155-2_23"},{"key":"ref16","first-page":"287","article-title":"Algorithms for w-regular games with imperfect information","author":"chatterjee","year":"2006","journal-title":"Proc 15th Annual Conf of the European Association for Computer Science Logic volume 4207 of Lecture Notes in Computer Science"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1998.743507"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90036-0"},{"key":"ref19","first-page":"71","article-title":"Reasoning about finite-state switched systems","author":"fisman","year":"2009","journal-title":"Haifa Verification Conference"},{"key":"ref28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0017-8","author":"liberzon","year":"2003","journal-title":"Switching in Systems and Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.2005.66"},{"key":"ref3","first-page":"659","article-title":"A logic for coalitions with bounded resources","author":"alechina","year":"2009","journal-title":"Proc Int Joint Artif Intell Conf"},{"key":"ref6","first-page":"287","article-title":"On decision problems for probabilistic Bi.ichi automata","author":"baier","year":"2008","journal-title":"Proc 11th Int Conf on Foundations of Software Science and Computation Structures"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/318593.318622"},{"key":"ref5","first-page":"615","article-title":"Synthesis under assumptions","author":"aminof","year":"2018","journal-title":"Proc 16th International Conference on Principles of Knowledge Representation and Reasoning"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005136"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/14"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-005-3875-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2009.09.006"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6567024"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-015-9294-4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90039-8"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1985.12"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9455-6"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_57"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_23"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"ref26","first-page":"591","volume":"2988","author":"kupferman","year":"2004","journal-title":"Proc 10th Int Conf on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(86)90026-7"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-015-9586-5_6"}],"event":{"name":"2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","start":{"date-parts":[[2019,6,24]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2019,6,27]]}},"container-title":["2019 34th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8765678\/8785654\/08785662.pdf?arnumber=8785662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T20:18:53Z","timestamp":1658261933000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8785662\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":44,"URL":"https:\/\/doi.org\/10.1109\/lics.2019.8785662","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}