@inproceedings{HTW08-ATVA,
author = {Florian Horn and Wolfgang Thomas and Nico Wallmeier},
title =	{{Optimal Strategy Synthesis in Request-Response Games}},
booktitle = {{Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA'08}},
pages = {361--373},
series = {Lecture Notes in Computer Science},
volume = {5311},
publisher = {Springer-Verlag},
year = {2008},
}