De Alfaro, Luca, et al. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.”10.1109/LICS.2001.932504__Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, IEEE, 2001, pp. 279–90, doi:10.1109/LICS.2001.932504.
LibreCat: https://research-explorer.ista.ac.at/record/4636
DOI: 10.1109/LICS.2001.932504