{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T23:08:03Z","timestamp":1777417683904,"version":"3.51.4"},"reference-count":82,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"vor","delay-in-days":1461,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,8,1]],"date-time":"2020-08-01T00:00:00Z","timestamp":1596240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2020,8]]},"DOI":"10.1016\/j.artint.2020.103302","type":"journal-article","created":{"date-parts":[[2020,5,15]],"date-time":"2020-05-15T16:33:44Z","timestamp":1589560424000},"page":"103302","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":11,"special_numbering":"C","title":["Verification of multi-agent systems with public actions against strategy logic"],"prefix":"10.1016","volume":"285","author":[{"given":"Francesco","family":"Belardinelli","sequence":"first","affiliation":[]},{"given":"Alessio","family":"Lomuscio","sequence":"additional","affiliation":[]},{"given":"Aniello","family":"Murano","sequence":"additional","affiliation":[]},{"given":"Sasha","family":"Rubin","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/j.artint.2020.103302_br0010","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1093\/logcom\/12.1.149","article-title":"A modal logic for coalitional power in games","volume":"12","author":"Pauly","year":"2002","journal-title":"J. Log. Comput."},{"issue":"5","key":"10.1016\/j.artint.2020.103302_br0020","doi-asserted-by":"crossref","first-page":"672","DOI":"10.1145\/585265.585270","article-title":"Alternating-time temporal logic","volume":"49","author":"Alur","year":"2002","journal-title":"J. ACM"},{"key":"10.1016\/j.artint.2020.103302_br0030","series-title":"Handbook of Logics for Knowledge and Belief","first-page":"543","article-title":"Knowledge and ability","author":"\u00c5gotnes","year":"2015"},{"issue":"2","key":"10.1016\/j.artint.2020.103302_br0040","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.jal.2005.12.010","article-title":"Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams","volume":"5","author":"Raimondi","year":"2007","journal-title":"J. Appl. Log."},{"issue":"1","key":"10.1016\/j.artint.2020.103302_br0050","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1023\/A:1026185103185","article-title":"Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications","volume":"75","author":"Hoek","year":"2003","journal-title":"Stud. Log."},{"key":"10.1016\/j.artint.2020.103302_br0060","series-title":"Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS03)","first-page":"133","article-title":"Some remarks on alternating temporal epistemic logic","author":"Jamroga","year":"2004"},{"key":"10.1016\/j.artint.2020.103302_br0070","series-title":"Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS15)","first-page":"1809","article-title":"Symbolic model-checking for resource-bounded ATL","author":"Alechina","year":"2015"},{"issue":"6","key":"10.1016\/j.artint.2020.103302_br0080","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/j.ic.2009.07.004","article-title":"Strategy logic","volume":"208","author":"Chatterjee","year":"2010","journal-title":"Inf. Comput."},{"key":"10.1016\/j.artint.2020.103302_br0090","series-title":"Proceedings of the 30th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS10)","first-page":"133","article-title":"Reasoning about strategies","author":"Mogavero","year":"2010"},{"issue":"4","key":"10.1016\/j.artint.2020.103302_br0100","doi-asserted-by":"crossref","DOI":"10.1145\/2631917","article-title":"Reasoning about strategies: on the model-checking problem","volume":"15","author":"Mogavero","year":"2014","journal-title":"ACM Trans. Comput. Log."},{"issue":"1","key":"10.1016\/j.artint.2020.103302_br0110","first-page":"1","article-title":"Reasoning about strategies: on the satisfiability problem","volume":"13","author":"Mogavero","year":"2017","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.artint.2020.103302_br0120","series-title":"Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR14)","first-page":"418","article-title":"A temporal logic of strategic knowledge","author":"Huang","year":"2014"},{"key":"10.1016\/j.artint.2020.103302_br0130","series-title":"Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI'15)","first-page":"2038","article-title":"Verifying and synthesising multi-agent systems against one-goal strategy logic specifications","author":"\u010cerm\u00e1k","year":"2015"},{"key":"10.1016\/j.artint.2020.103302_br0140","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1016\/j.ic.2017.09.011","article-title":"Practical verification of multi-agent systems against SLk specifications","volume":"261","author":"\u010cerm\u00e1k","year":"2018","journal-title":"Inf. Comput."},{"key":"10.1016\/j.artint.2020.103302_br0150","series-title":"Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR18)","first-page":"530","article-title":"Reasoning about knowledge and strategies under hierarchical information","author":"Maubert","year":"2018"},{"key":"10.1016\/j.artint.2020.103302_br0160","series-title":"Model Checking","author":"Clarke","year":"2002"},{"key":"10.1016\/j.artint.2020.103302_br0170","series-title":"Proceedings of the 10th International Conference on Computer Aided Verification (CAV98)","first-page":"521","article-title":"MOCHA: modularity in model checking","author":"Alur","year":"1998"},{"issue":"1","key":"10.1016\/j.artint.2020.103302_br0180","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/s10009-015-0378-x","article-title":"MCMAS: a model checker for the verification of multi-agent systems","volume":"19","author":"Lomuscio","year":"2017","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"1","key":"10.1016\/j.artint.2020.103302_br0190","doi-asserted-by":"crossref","first-page":"313","DOI":"10.3233\/FUN-2008-851-422","article-title":"Verics 2007 \u2013 a model checker for knowledge and real-time","volume":"85","author":"Kacprzak","year":"2008","journal-title":"Fundam. Inform."},{"key":"10.1016\/j.artint.2020.103302_br0200","author":"Kwiatkowska"},{"key":"10.1016\/j.artint.2020.103302_br0210","series-title":"ATVA","first-page":"551","article-title":"EVE: a tool for temporal equilibrium analysis","volume":"vol. 11138","author":"Gutierrez","year":"2018"},{"issue":"9","key":"10.1016\/j.artint.2020.103302_br0220","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1145\/2494558","article-title":"Verifying autonomous systems","volume":"56","author":"Fisher","year":"2013","journal-title":"Commun. ACM"},{"key":"10.1016\/j.artint.2020.103302_br0230","series-title":"Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI11)","first-page":"1659","article-title":"Verifying fault tolerance and self-diagnosability of an autonomous underwater vehicle","author":"Ezekiel","year":"2011"},{"key":"10.1016\/j.artint.2020.103302_br0240","author":"Dima"},{"issue":"2","key":"10.1016\/j.artint.2020.103302_br0250","first-page":"167","article-title":"Verifying epistemic properties of multi-agent systems via bounded model checking","volume":"55","author":"Penczek","year":"2003","journal-title":"Fundam. Inform."},{"key":"10.1016\/j.artint.2020.103302_br0260","series-title":"Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS15)","first-page":"227","article-title":"Module checking of strategic ability","author":"Jamroga","year":"2015"},{"issue":"2","key":"10.1016\/j.artint.2020.103302_br0270","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/j.ipl.2015.10.004","article-title":"On the semantics of strategy logic","volume":"116","author":"Bouyer","year":"2016","journal-title":"Inf. Process. Lett."},{"key":"10.1016\/j.artint.2020.103302_br0280","series-title":"Proceedings of the 35th Symposium on Theoretical Aspects of Computer Science (STACS18)","article-title":"Dependences in strategy logic","author":"Gardy","year":"2018"},{"key":"10.1016\/j.artint.2020.103302_br0290","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/j.ic.2015.03.015","article-title":"A logic with revocable and refinable strategies","volume":"242","author":"Chareton","year":"2015","journal-title":"Inf. Comput."},{"key":"10.1016\/j.artint.2020.103302_br0300","series-title":"15th European Conference on Multi-Agent Systems (EUMAS17) and 5th International Conference on Agreement Technologies (AT17)","first-page":"115","article-title":"Strategic knowledge of the past - expressivity and complexity","author":"Chareton","year":"2018"},{"issue":"4","key":"10.1016\/j.artint.2020.103302_br0310","doi-asserted-by":"crossref","DOI":"10.1145\/3233769","article-title":"An epistemic strategy logic","volume":"19","author":"Huang","year":"2018","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/j.artint.2020.103302_br0320","series-title":"Proceedings of the 4th European Workshop on Multi-Agent Systems (EUMAS06)","first-page":"14","article-title":"Model checking abilities under incomplete information is indeed \u0394p2-complete","author":"Jamroga","year":"2006"},{"key":"10.1016\/j.artint.2020.103302_br0330","series-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS17)","first-page":"1250","article-title":"Decidability results for ATL* with imperfect information and perfect recall","author":"Berthon","year":"2017"},{"issue":"1\u20132","key":"10.1016\/j.artint.2020.103302_br0340","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/S0898-1221(01)00282-6","article-title":"Decision algorithms for multiplayer noncooperative games of incomplete information","volume":"43","author":"Peterson","year":"2002","journal-title":"Comput. Math. Appl."},{"key":"10.1016\/j.artint.2020.103302_br0350","series-title":"Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA07)","first-page":"268","article-title":"Distributed synthesis for alternating-time logics","author":"Schewe","year":"2007"},{"key":"10.1016\/j.artint.2020.103302_br0360","series-title":"Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis (ATVA15)","first-page":"378","article-title":"Hierarchical information patterns and distributed strategy synthesis","author":"Berwanger","year":"2015"},{"key":"10.1016\/j.artint.2020.103302_br0370","series-title":"Proceedings of the 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS17)","first-page":"1","article-title":"Strategy logic with imperfect information","author":"Berthon","year":"2017"},{"key":"10.1016\/j.artint.2020.103302_br0380","series-title":"Reasoning about Knowledge","author":"Fagin","year":"1995"},{"issue":"2","key":"10.1016\/j.artint.2020.103302_br0390","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1145\/359496.359527","article-title":"Knowledge in multi-agent systems: initial configurations and broadcast","volume":"1","author":"Lomuscio","year":"2000","journal-title":"ACM Trans. Comput. Log."},{"key":"10.1016\/j.artint.2020.103302_br0400","series-title":"Proceedings of the 16th International Conference on Concurrency Theory (CONCUR05)","first-page":"562","article-title":"Synthesis of distributed systems from knowledge-based specifications","author":"van der Meyden","year":"2005"},{"key":"10.1016\/j.artint.2020.103302_br0410","series-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS17)","first-page":"1241","article-title":"Fixpoint approximation of strategic abilities under imperfect information","author":"Jamroga","year":"2017"},{"key":"10.1016\/j.artint.2020.103302_br0420","series-title":"Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-98)","first-page":"125","article-title":"The logic of public announcement, common knowledge, and private suspicions","author":"Baltag","year":"1998"},{"key":"10.1016\/j.artint.2020.103302_br0430","article-title":"Dynamic Epistemic Logic","volume":"vol. 337","author":"van Ditmarsch","year":"2007"},{"key":"10.1016\/j.artint.2020.103302_br0440","series-title":"Proceedings of the 13th European Conference on Artificial Intelligence (ECAI98)","first-page":"557","article-title":"Ideal agents sharing (some!) knowledge","author":"Lomuscio","year":"1998"},{"key":"10.1016\/j.artint.2020.103302_br0450","series-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI15)","first-page":"2791","article-title":"Complexity results in epistemic planning","author":"Bolander","year":"2015"},{"issue":"1","key":"10.1016\/j.artint.2020.103302_br0460","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.21.9-34","article-title":"Epistemic planning for single-and multi-agent systems","volume":"21","author":"Bolander","year":"2011","journal-title":"J. Appl. Non-Class. Log."},{"key":"10.1016\/j.artint.2020.103302_br0470","series-title":"Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling (ICAPS15)","first-page":"147","article-title":"Beliefs in multiagent planning: from one agent to many","author":"Kominis","year":"2015"},{"key":"10.1016\/j.artint.2020.103302_br0480","series-title":"Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling (ICAPS17)","first-page":"186","article-title":"Multiagent online planning with nested beliefs and dialogue","author":"Kominis","year":"2017"},{"issue":"1","key":"10.1016\/j.artint.2020.103302_br0490","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10472-016-9508-8","article-title":"Synthesis with rational environments","volume":"78","author":"Kupferman","year":"2016","journal-title":"Ann. Math. Artif. Intell."},{"issue":"2","key":"10.1016\/j.artint.2020.103302_br0500","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/j.apal.2016.10.009","article-title":"Reasoning about equilibria in game-like concurrent systems","volume":"168","author":"Gutierrez","year":"2017","journal-title":"Ann. Pure Appl. Log."},{"key":"10.1016\/j.artint.2020.103302_br0510","doi-asserted-by":"crossref","first-page":"650","DOI":"10.1016\/j.ic.2018.02.023","article-title":"Imperfect information in reactive modules games","volume":"261","author":"Gutierrez","year":"2018","journal-title":"Inf. Comput."},{"key":"10.1016\/j.artint.2020.103302_br0520","series-title":"Algorithms for sequential decision making","author":"Littman","year":"1996"},{"key":"10.1016\/j.artint.2020.103302_br0530","series-title":"Proceedings of the 25th Conference on Uncertainty in Artificial Intelligence (UAI09)","first-page":"59","article-title":"Deterministic POMDPs revisited","author":"Bonet","year":"2009"},{"key":"10.1016\/j.artint.2020.103302_br0540","series-title":"Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS17)","first-page":"1268","article-title":"Verification of multi-agent systems with imperfect information and public actions","author":"Belardinelli","year":"2017"},{"key":"10.1016\/j.artint.2020.103302_br0550","series-title":"Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI17)","first-page":"91","article-title":"Verification of broadcasting multi-agent systems against an epistemic strategy logic","author":"Belardinelli","year":"2017"},{"key":"10.1016\/j.artint.2020.103302_br0560","series-title":"Proc. of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS18)","article-title":"Decidable verification of multi-agent systems with bounded private actions","author":"Belardinelli","year":"2018"},{"key":"10.1016\/j.artint.2020.103302_br0570","series-title":"The Temporal Logic of Reactive and Concurrent Systems, vol. 1","author":"Manna","year":"1992"},{"key":"10.1016\/j.artint.2020.103302_br0580","series-title":"A Course in Game Theory","author":"Osborne","year":"1994"},{"key":"10.1016\/j.artint.2020.103302_br0590","first-page":"1","article-title":"Agents that know how to play","volume":"62","author":"Jamroga","year":"2004","journal-title":"Fundam. Inform."},{"key":"10.1016\/j.artint.2020.103302_br0600","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1016\/j.ic.2018.02.022","article-title":"Graded modalities in strategy logic","volume":"261","author":"Aminof","year":"2018","journal-title":"Inf. Comput."},{"key":"10.1016\/j.artint.2020.103302_br0610","series-title":"Proceedings of the 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS06)","first-page":"161","article-title":"Model checking knowledge, strategies, and games in multi-agent systems","author":"Lomuscio","year":"2006"},{"key":"10.1016\/j.artint.2020.103302_br0620","series-title":"Proceedings of the 26th International Conference on Computer Aided Verification (CAV14)","first-page":"525","article-title":"MCMAS-SLK: a model checker for the verification of strategy logic specifications","author":"\u010cerm\u00e1k","year":"2014"},{"key":"10.1016\/j.artint.2020.103302_br0630","series-title":"Proceedings of the 26th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS06)","first-page":"212","article-title":"Rational behaviour and strategy construction in infinite multiplayer games","author":"Ummels","year":"2006"},{"issue":"2","key":"10.1016\/j.artint.2020.103302_br0640","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/1998037.1998055","article-title":"Distributed computing meets game theory: combining insights from two fields","volume":"42","author":"Abraham","year":"2011","journal-title":"SIGACT News"},{"key":"10.1016\/j.artint.2020.103302_br0650","series-title":"Proceedings of the 36th Annual ACM Symposium on Theory of Computing (STOC04)","first-page":"623","article-title":"Rational secret sharing and multiparty computation","author":"Halpern","year":"2004"},{"key":"10.1016\/j.artint.2020.103302_br0660","series-title":"Proceedings of the 12th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS13)","first-page":"247","article-title":"A parameterized family of equilibrium profiles for three-player Kuhn poker","author":"Szafron","year":"2013"},{"key":"10.1016\/j.artint.2020.103302_br0670","series-title":"Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI18)","first-page":"35","article-title":"Synthesis of controllable Nash equilibria in quantitative objective games","author":"Almagor","year":"2018"},{"key":"10.1016\/j.artint.2020.103302_br0680","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1038\/246015a0","article-title":"The logic of animal conflict","volume":"246","author":"Smith","year":"1973","journal-title":"Nature"},{"key":"10.1016\/j.artint.2020.103302_br0690","series-title":"Proceedings of the 28th International Conference on Concurrency Theory (CONCUR17)","article-title":"Nash equilibrium and bisimulation invariance","author":"Gutierrez","year":"2017"},{"key":"10.1016\/j.artint.2020.103302_br0700","series-title":"Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015)","first-page":"268","article-title":"Expressiveness and complexity results for strategic reasoning","author":"Gutierrez","year":"2015"},{"key":"10.1016\/j.artint.2020.103302_br0710","series-title":"Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","article-title":"Equilibria of concurrent games on event structures","author":"Gutierrez","year":"2014"},{"key":"10.1016\/j.artint.2020.103302_br0720","author":"Gutierrez"},{"key":"10.1016\/j.artint.2020.103302_br0730","series-title":"Essays on Game Theory","first-page":"105","article-title":"A simple three-person poker game","author":"Nash","year":"1996"},{"key":"10.1016\/j.artint.2020.103302_br0740","first-page":"97","article-title":"A simplified two-person poker","volume":"1","author":"Kuhn","year":"1950","journal-title":"Contrib. Theory Games"},{"issue":"12","key":"10.1016\/j.artint.2020.103302_br0750","doi-asserted-by":"crossref","first-page":"B764","DOI":"10.1287\/mnsc.17.12.B764","article-title":"Optimal bluffing strategies in poker","volume":"17","author":"Friedman","year":"1971","journal-title":"Manag. Sci."},{"key":"10.1016\/j.artint.2020.103302_br0760","series-title":"One Hundred Prisoners and a Light Bulb","author":"van Ditmarsch","year":"2015"},{"key":"10.1016\/j.artint.2020.103302_br0770","series-title":"Distributed Algorithms","author":"Lynch","year":"1996"},{"key":"10.1016\/j.artint.2020.103302_br0780","series-title":"Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (LICS01)","first-page":"389","article-title":"Synthesizing distributed systems","author":"Kupferman","year":"2001"},{"issue":"3","key":"10.1016\/j.artint.2020.103302_br0790","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0019-9958(84)80047-9","article-title":"Deciding full branching time logic","volume":"61","author":"Emerson","year":"1984","journal-title":"Inf. Control"},{"issue":"4","key":"10.1016\/j.artint.2020.103302_br0800","first-page":"1","article-title":"Quantified CTL: expressiveness and complexity","volume":"10","author":"Laroussinie","year":"2014","journal-title":"Log. Methods Comput. Sci."},{"key":"10.1016\/j.artint.2020.103302_br0810","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1016\/j.ic.2014.12.020","article-title":"Augmenting ATL with strategy contexts","volume":"245","author":"Laroussinie","year":"2015","journal-title":"Inf. Comput."},{"key":"10.1016\/j.artint.2020.103302_br0820","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(87)90008-9","article-title":"The complementation problem for B\u00fcchi automata with applications to temporal logic","volume":"49","author":"Sistla","year":"1987","journal-title":"Theor. Comput. Sci."}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370220300618?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370220300618?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T07:21:50Z","timestamp":1757748110000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370220300618"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8]]},"references-count":82,"alternative-id":["S0004370220300618"],"URL":"https:\/\/doi.org\/10.1016\/j.artint.2020.103302","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2020,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Verification of multi-agent systems with public actions against strategy logic","name":"articletitle","label":"Article Title"},{"value":"Artificial Intelligence","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.artint.2020.103302","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2020 Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"103302"}}