Paper: Average Time Games (at LICS 2006)
Authors: Marcin Jurdzinski Ashutosh Trivedi
Abstract
BibTeX
@InProceedings{JurdzinskiTrivedi-AverageTimeGames, author = {Marcin Jurdzinski and Ashutosh Trivedi}, title = {Average Time Games}, booktitle = {Proceedings of the Twenty-First Annual IEEE Symposium on Logic in Computer Science (LICS 2006)}, year = {2006}, month = {August}, location = {Seattle, Washington, USA}, publisher = {IEEE Computer Society Press} }