Paper: Infinite-state energy games (at LICS 2014)
Authors: Parosh A. Abdulla Mohamed Faouzi Atig Piotr Hofman Richard Mayr K. Narayan Kumar Patrick Totzke
Abstract
No Abstract Available
BibTeX
@InProceedings{AbdullaAtigHofmanMa-Infinitestateenergy, author = {Parosh A. Abdulla and Mohamed Faouzi Atig and Piotr Hofman and Richard Mayr and K. Narayan Kumar and Patrick Totzke}, title = {Infinite-state energy games}, booktitle = {Proceedings of the Twenty-Ninth Annual IEEE Symposium on Logic in Computer Science (LICS 2014)}, year = {2014}, month = {July}, pages = {7:1--7:10}, location = {Vienna, Austria}, publisher = {IEEE Computer Society Press} }