Approximating ATL

Aidan Harding, Mark Ryan, Pierre-Yves Schobbens

Browse the full VMCAI paper archive.