{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T04:30:19Z","timestamp":1770697819772,"version":"3.49.0"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005136","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T20:43:24Z","timestamp":1502397804000},"page":"1-12","source":"Crossref","is-referenced-by-count":19,"title":["Strategy logic with imperfect information"],"prefix":"10.1109","author":[{"given":"Raphael","family":"Berthon","sequence":"first","affiliation":[]},{"given":"Bastien","family":"Maubert","sequence":"additional","affiliation":[]},{"given":"Aniello","family":"Murano","sequence":"additional","affiliation":[]},{"given":"Sasha","family":"Rubin","sequence":"additional","affiliation":[]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"525","article-title":"MCMAS-SLK: A model checker for the verification of strategy logic specifications","author":"cerm\u00e1k","year":"2014","journal-title":"CAV'14"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32940-1_15"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90133-2"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.2307\/421091"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(92)90090-3"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2307\/2269808"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/333979.333987"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00214-4"},{"key":"ref34","first-page":"1","article-title":"Decidability of second-order theories and automata on infinite trees","volume":"141","author":"rabin","year":"1969","journal-title":"TAMS"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2005.04.011"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_20"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43951-7_10"},{"key":"ref13","article-title":"Decidability results for ATL* with imperfect information and perfect recall","author":"berthon","year":"2017","journal-title":"AAMAS’ 17"},{"key":"ref14","article-title":"Verification of multi-agent systems with imperfect information and public actions","author":"belardinelli","year":"2017","journal-title":"AAMAS'17"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_28"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-10(4:17)2014"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0898-1221(00)00333-3"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(89)90039-1"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.2307\/2273878"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44618-4_9"},{"key":"ref4","article-title":"Model-checking ATL under imperfect information and perfect recall semantics is undecidable","volume":"abs 1102 4225","author":"dima","year":"2011","journal-title":"CoRR"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60045-0_60"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.193.4"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1979.25"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45656-2_15"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/FSCS.1990.89597"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0898-1221(01)00282-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2001.932514"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-013-9231-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.53"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2631917"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-008-0064-7"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/585265.585270"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15205-4_25"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.12.020"},{"key":"ref23","volume":"4","author":"fagin","year":"1995","journal-title":"Reasoning About Knowledge"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/800057.808661"},{"key":"ref25","author":"sistla","year":"1983","journal-title":"Theoretical Issues in the Design and Verification of Distributed Systems"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005136.pdf?arnumber=8005136","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T01:42:02Z","timestamp":1506994922000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005136\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005136","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}