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   
@InProceedings{CHP06,
  author = 	 {K. Chatterjee and T.A. Henzinger and N. Piterman},
  title = 	 {Algorithms for Buchi Games},
  booktitle = {3rd  Workshop on Games in Design and Verification},
  OPTpages = 	 {},
  year = 	 2006,
  OPTvolume = 	 {},
  OPTseries = 	 {},
  OPTpublisher = {},
  url_Paper = {2006/CHP06.pdf},
  keywords = {Games},
}
Downloads: 0