Yifan He

According to our database, Yifan He authored at least 7 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

An ASP-based approach to Solving General Stochastic Two-Player Games.

Yifan He, Michael Thielscher

CoRR, May, 2026

2025

Repairing General Game Descriptions (extended version).

Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher

CoRR, August, 2025

Verification of General Games with QBF Solvers.

Yifan He, Abdallah Saffidine, Michael Thielscher

Proceedings of the 23rd International Workshop on Non-Monotonic Reasoning (NMR 2025) co-located with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025), 2025

Repairing General Game Descriptions.

Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

2024

Verification of General Games with Imperfect Information Using Strategy Logic.

Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

Solving Two-player Games with QBF Solvers in General Game Playing.

Yifan He, Abdallah Saffidine, Michael Thielscher

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2022

QBF Solving Using Best First Search.

Yifan He, Abdallah Saffidine

Proceedings of the Computers and Games - International Conference, 2022