Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger
Browse the full MFCS paper archive.