| Solving two-player games with QBF solvers in general game playing Y He, A Saffidine, M Thielscher Proceedings of the 23rd International Conference on Autonomous Agents and …, 2024 | 8 | 2024 |
| Repairing general game descriptions (extended version) Y He, M Mittelmann, A Murano, A Saffidine, M Thielscher arXiv preprint arXiv:2508.10438, 2025 | 1 | 2025 |
| Verification of general games with imperfect information using strategy logic Y He, M Mittelmann, A Murano, A Saffidine, M Thielscher Proceedings of the International Conference on Principles of Knowledge …, 2024 | 1 | 2024 |
| Repairing General Game Descriptions Y He, M Mittelmann, A Murano, A Saffidine, M Thielscher Proceedings of the International Conference on Principles of Knowledge …, 2025 | | 2025 |
| Automatically Verifying and Repairing General Game Descriptions Y He | | 2025 |
| Verification of General Games with QBF Solvers Y He, A Saffidine, M Thielscher | | 2025 |
| QBF Solving Using Best First Search Y He, A Saffidine International Conference on Computers and Games, 73-86, 2022 | | 2022 |
