_id,doi,title 4547,10.2168/LMCS-3(3:4)2007,Algorithms for omega-regular games with imperfect information