From Verification to Control: Dynamic Programs for Omega-Regular Objectives.

Luca de Alfaro, Thomas A. Henzinger, Rupak Majumdar

Browse the full LICS paper archive.