2025
Approximate Verification of Strategic Abilities under Imperfect Information Using Local Models
IJCAI 2025
Verification of strategic ability under imperfect information is challenging, with complexity ranging from NP-complete to undecidable. This is partly because traditional fixpoint equivalences fail in this setting. Some years ago, an interesting idea of fixpoint approximation was proposed for model c