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