Huang, X.; van der Meyden, R. Symbolic Model Checking Epistemic Strategy Logic. AAAI 2014, 28.