NatSTV: Towards Verification of Natural Strategic Ability.

Mateusz Kaminski, Damian Kurpiewski, Wojciech Jamroga

Browse the full IJCAI paper archive.