ATL* With Truly Perfect Recall: Expressivity and Validities.

Nils Bulling, Wojciech Jamroga, Matei Popovici

Browse the full ECAI paper archive.