@incollection{Chatterjee_2006,
doi = {10.1007/11874683_19},
url = {https://doi.org/10.1007%2F11874683_19},
year = {2006},
publisher = {Springer Berlin Heidelberg},
pages = {287--302},
author = {Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Jean-Fran{\c{c}}ois Raskin},
title = {Algorithms for Omega-Regular Games with Imperfect Information},
booktitle = {Computer Science Logic}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A