Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin
Algorithms for ω-Regular Games with Imperfect Information
CSL, 2006.
@inproceedings{CSL-2006-ChatterjeeDHR,
author = "Krishnendu Chatterjee and Laurent Doyen and Thomas A. Henzinger and Jean-François Raskin",
booktitle = "{Proceedings of the 15th EACSL Annual Conference / 20th International Workshop on Computer Science Logic}",
doi = "10.1007/11874683_19",
isbn = "3-540-45458-6",
pages = "287--302",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Algorithms for ω-Regular Games with Imperfect Information}",
volume = 4207,
year = 2006,
}
Tags: