De Alfaro L, Henzinger TA, Majumdar R. 2001. From verification to control: dynamic programs for omega-regular objectives. Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 279–290.
LibreCat: https://research-explorer.ista.ac.at/record/4636
DOI: 10.1109/LICS.2001.932504