Kim, Yan

2 publications

IJCAI 2025 Approximate Verification of Strategic Abilities Under Imperfect Information Using Local Models Damian Kurpiewski, Wojciech Jamroga, Yan Kim

IJCAI 2023 Practical Model Reductions for Verification of Multi-Agent Systems Wojciech Jamroga, Yan Kim