Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher. Verification of General Games with Imperfect Information Using Strategy Logic. In Pierre Marquis, Magdalena Ortiz 0001, Maurice Pagnucco, editors, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024. 2024. [doi]
Abstract is missing.