_id,doi,title
4636,10.1109/LICS.2001.932504,From verification to control: dynamic programs for omega-regular objectives