De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games.”https://doi.org/10.1109/LICS.2000.855763__In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 141–54. IEEE, 2000.https://doi.org/10.1109/LICS.2000.855763 .