Romain Brenguier, Jean-François Raskin, Mathieu Sassolas
The complexity of admissibility in ω-regular games
LICS, 2014.
@inproceedings{LICS-CSL-2014-BrenguierRS,
author = "Romain Brenguier and Jean-François Raskin and Mathieu Sassolas",
booktitle = "{Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science}",
doi = "10.1145/2603088.2603143",
isbn = "978-1-4503-2886-9",
pages = "10",
publisher = "{ACM}",
title = "{The complexity of admissibility in ω-regular games}",
year = 2014,
}
Tags: