Algorithms for Buchi Games. Chatterjee, K., Henzinger, T., & Piterman, N. In 3rd Workshop on Games in Design and Verification, 2006.
Algorithms for Buchi Games [pdf]Paper  bibtex   

Downloads: 0