Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models.

Damian Kurpiewski, Wojciech Jamroga, Yan Kim

Browse the full IJCAI paper archive.