R. Alur, T. A. Henzinger, and O. Kupferman. 2002. Alternating-Time Temporal Logic. J. ACM 49 (2002). 672-713. https://doi.org/10.1145/585265.585270
F. Belardinelli, R. Condurache, C. Dima, W. Jamroga, and A. V. Jones. 2017. Bisim-ulations for Verification of Strategic Abilities with Application to ThreeBallot Voting Protocol. In Proceedings of the 16lh International Conference on Autonomous Agents and Multiagent Systems (AAMAS). IFAAMAS. 1286-1295.
R. Berthon, B. Maubert, A. Murano, S. Rubin, and M. Y. Vardi. 2017. Strategy logic with imperfect information. In Proceedings of LICS. 1-12. https://doi.org/10. U09/LICS.2017.8005136
R. E. Bryant, 1986. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Trans, on Computers 35, 8 (1986). 677-691.
N. Bulling, J. Dix, and W. Jamroga. 2010. Model Checking Logics of Strategic Ability: Complexity. In Specification and Verification of Multi-Agent Systems, M. Dastani, K. Hindriks, and J.-J. Meyer (Eds.). Springer, 125-159.
N. Bulling and W. Jamroga. 2011. Alternating Epistemic Mu-Calculus. In Proceedings of IJCAI-11. 109-114.
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMillan, David L. Dill, and L. J. Hwang. 1990. Symbolic Model Checking: 10-20 States and Beyond. In Proc. of 4th Ann. IEEE Symp. on Logic in Computer Science (LICS). IEEE Computer Society, 428-439.
S. Busard, C. Pecheur, H. Qu, and F. Raimondi, 2015. Reasoning about memory-less strategies under partial observability and unconditional fairness constraints. Information and Computation 242(2015), 128-156. https://doi.0rg/10.1016/j.ic. 2015.03.014
P. Cermak, A. Lomuscio, F. Mogavero, and A. Murano. 2014. MCMAS SI. K: A Model Checker for the Verification of Strategy Logic Specifications. In Proc. of Computer Aided Verification (CAV) (Lecture Notes in Computer Science). Vol. 8559. Springer, 525-532.
P. Dembinski, A. Janowska, P. Janowski, W. Penczek, A. Polrola, M. Szreter, B. Woina, and A. Zbrzezny. 2003. Verics: A Tool for Verifying Timed Automata and Estelle Specifications. In Proceedings of the of the 9th Int. Conf. on Tools and Algorithms for Construction and Analysis of Systems (TACAS'03). Lecture Notes in Computer Science, Vol. 2619. Springer. 278-283.
C. Dima, B. Maubert, and S. Pinchinat. 2015. Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus. In Proceedings of Mathematical Foundations of Computer Science (MFCS) (Lecture Notes in Computer Science), Vol. 9234. Springer, 179-191. https://doi.org/10.1007/978-3-662-48057-1.14
L. Doyen and J.-F. Raskin. 2011. Games with Imperfect Information: Theory and Algorithms. In Lecture Notes in Game Theory for Computer Scientists. Cambridge University Press, 185-212.
P. Gammie and R. van der Meyden. 2004. MCK: Model Checking the Logic of Knowledge. In Proc. of the 16th InL Conf. on Computer Aided Verification (CAV'04) (LNCS) Vol. 3114. Springer-Verlag. 479-483.
W. Jamroga and J. Dix. 2006. Model Checking ATLir is Indeed Δp2-complete. In Proceedings of EUMAS (CEVR Workshop Proceedings) Vol. 223.
W. Jamroga, M. Knapik, and D. Kurpiewski 2017. Fixpoint Approximation of Strategic Abilities under Imperfect Information. In Proceedings of the 16th International Conference on Autonomous Agents and Multiagent Systems (AAMAS). IFAAMAS, 1241-1249.
W. Jamroga, M. Knapik, and D. Kurpiewski. 2018. Model Checking the SELENE E-Voting Protocol in Multi-Agent Logics. In Proceedings of the 3rd International Joint Conference on Electronic Voting (E-VOTE-ID) (Lecture Notes in Computer Science) Vol. 11143. Springer, 100-116.
W. Jamroga, M. Knapik, D. Kurpiewski, and Lukasz Mikulski. 2018. Approximate Verification of Strategic Abilities under Imperfect Information. Artificial Intelligence (2018). To appear.
W. Jamroga, B. Konikowska, W. Penczek, and D. Kurpiewski. 2019. Multi-Valued Verification of Strategic Ability. (2019). In preparation.
W. Jamroga, S. Mauw, and M. Melissen. 2012. Fairness in Non-repudiation Protocols. In Proceedings of STM'11 (Lecture Notes In Computer Science), Vol. 7170. 122-139.
S. Kremer and J.-F. Raskin. 2003. A game-based verification of non-repudiation and fair exchange protocols. Journal of Computer Security 11, 3 (2003). https://doLorg/10.1007/3-540-44685-0.37
D. Kurpiewski, M. Knapik, and W. Jamroga. 2019. On Domination and Control In Strategic Abdity. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2919. IFAAMAS, to appear.
D. Kurpiewski and D. Marmsoler. 2019. Strategic Logics for Collaborative Embedded Systems. Specification and Verification of Collaborative Embedded Systems using Strategic Logics. (2019). In preparation.
A. Lomuscio, H. Qu, and F. Raimondi. 2015. MCMAS: An Open-Source Model Checker for the Verification of Multi-Agent Systems. International Journal on Software Tools for Technology Transfer (2015). https://doLorg/10.1007/s 10009-015-0378-x Availabe online.
A. Lomuscio and F. Raimondi. 2006. Model checking knowledge, strategies, and games in multi-agent systems. In Proceedings of International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS). 161-168. https://dolorg/10.1145/1160633.1160660
F. Mogavero, A. Murano, G. Perelli, and M. Y. Vardi. 2014. Reasoning About Strategies: On the Model-Checking Problem. ACM Transactions on Computational Logic 15, 4 (2014). 1-42.
F. Mogavero, A. Murano, and M. Y. Vardi 2010. Reasoning About Strategies. In Proceedings ofFSTTCS. 133-144.
J. Pilecki, M. A. Bednarczyk, and W. Jamroga. 2017. SMC: Synthesis of Uniform Strategies and Verification of Strategic Ability for Multi-Agent Systems. Journal of Logic and Computation 27, 7(2017), 1871-1895. https://doi.org/10.1093/logcom/exw032
F. Raimondi and A. Lomuscio. 2007. Automatic Verification of Multi-agent Systems by Model Checking via Ordered Binary Decision Diagrams. J. Applied Logic 5, 2(2007), 235-251.
J. Ruan, W. van der Hoek, and M. Wooldridge. 2009. Verification of Games in the Game Description Language. Journal of Logic and Computation 19 (11 2009), 1127-1156. https://doi.org/10.1093/Iogcom/exp039
B.-H. Schlingloff, H. Stubert, and W. Jamroga. 2016. Collaborative Embedded Systems - A Case Study. In Proceedings of the 3rd International Workshop on Emerging Ideas and Trends In Engineering of Cyber-Phystcal Systems (EITEC@CPSWeek). 17-22. https://doiorg/10.1109/EITEC.2016.7503691
P. Y. Schobbens. 2004. Alternating-Time Logic with Imperfect Recall. Electronic Notes in Theoretical Computer Science 85, 2(2004), 82-93.
M. Tabatabaei, W. Jamroga, and Peter Y. A. Ryan. 2016. Expressing Receipt-Freeness and Coercion-Resistance in Logics of Strategic Ability: Preliminary Attempt. In Proceedings of the 1st International Workshop on Al for Privacy and Security. PrAlSe@ECAI 2016. ACM, 1:1-1:8. https://dolorg/10.1145/2970030.2970039
V. Yazdanpanah and M. Dastani 2016. Quantified Group Responsibility in Multi-Agent Systems. In Proceedings of WOA. 44-49.
V. Yazdanpanah, M. Dastani, N. Alechina, B. Logan, and W. Jamroga. 2019. Strategic Responsibility Under Imperfect Information. In Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems AAMAS 2019. IFAAMAS. to appear.