He Y, Mittelmann M, Murano A, Saffidine A and Thielscher M. Verification of general games with imperfect information using strategy logic. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning. (420-430).

Belardinelli F, Jamroga W, Mittelmann M and Murano A. Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems. (160-169).

Lespérance Y, De Giacomo G, Rostamigiv M and Khan S. Abstraction of situation calculus concurrent game structures. Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence and Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence and Fourteenth Symposium on Educational Advances in Artificial Intelligence. (10624-10634).

https://doi.org/10.1609/aaai.v38i9.28933

Belardinelli F, Ferrando A, Jamroga W, Malvone V and Murano A. Scalable verification of strategy logic through three-valued abstraction. Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. (46-54).

https://doi.org/10.24963/ijcai.2023/6