Stéphane Le Roux 0001, Arno Pauly, Mickael Randour. Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions. In Sumit Ganguly, Paritosh K. Pandya, editors, 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India. Volume 122 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
@inproceedings{0001PR18-0,
title = {Extending Finite-Memory Determinacy by Boolean Combination of Winning Conditions},
author = {Stéphane Le Roux 0001 and Arno Pauly and Mickael Randour},
year = {2018},
doi = {10.4230/LIPIcs.FSTTCS.2018.38},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2018.38},
researchr = {https://researchr.org/publication/0001PR18-0},
cites = {0},
citedby = {0},
booktitle = {38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, December 11-13, 2018, Ahmedabad, India},
editor = {Sumit Ganguly and Paritosh K. Pandya},
volume = {122},
series = {LIPIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
isbn = {978-3-95977-093-4},
}