DOI,IST REx ID,Title of publication
10.1109/LICS.2001.932504,4636,From verification to control: dynamic programs for omega-regular objectives