Alternating Epistemic Mu-Calculus.

Nils Bulling, Wojciech Jamroga

Browse the full IJCAI paper archive.