Paper: Stochastic Games with Synchronizing Objectives (at LICS 2022)
Authors: Laurent Doyen
Abstract
No Abstract Available
BibTeX
@InProceedings{Doyen-StochasticGameswith, author = {Laurent Doyen}, title = {Stochastic Games with Synchronizing Objectives}, booktitle = {Proceedings of the Thirty seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2022)}, year = {2022}, month = {August}, pages = {1--12}, location = {Haifa, Israel}, publisher = {IEEE Computer Society Press} }