The Target Discounted-Sum Problem

Udi Boker, Thomas A. Henzinger, Jan Otop

The target discounted-sum problem is the following: Given a rational discount factor $0<\lambda <1$ and three rational values $a,b$, and $t$, does there exist a finite or an infinite sequ…