A Logic for Reasoning About Game Strategies.

Dongmo Zhang, Michael Thielscher

Browse the full AAAI paper archive.