DOI,IST REx ID,Title of publication
10.1007/11874683_19,3889,Algorithms for omega-regular games with imperfect information