Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski
Mean-Payoff Parity Games
LICS, 2005.
@inproceedings{LICS-2005-ChatterjeeHJ,
author = "Krishnendu Chatterjee and Thomas A. Henzinger and Marcin Jurdzinski",
booktitle = "{Proceedings of the 20th IEEE Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.2005.26",
isbn = "0-7695-2266-1",
pages = "178--187",
publisher = "{IEEE Computer Society}",
title = "{Mean-Payoff Parity Games}",
year = 2005,
}











