De Alfaro, L., Henzinger, T. A., &; Majumdar, R. (2001). From verification to control: dynamic programs for omega-regular objectives. In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science (pp. 279–290). Boston, MA, USA: IEEE.https://doi.org/10.1109/LICS.2001.932504