Algorithms for omegaregular games with imperfect information., (2006)

by K Chatterjee, L Doyen, T A Henzinger, J-F Raskin
Venue:in Proc. of the 20th International Workshop on Computer Science Logic (CSL), 15th Annual Conference of the EACSL,