_id,doi,title
1659,10.1109/LICS.2015.74,The target discounted-sum problem