27 citations · 69 across the 15 of their papers we have counts for
1 paper · 1 filter
Udi Boker, Thomas A. Henzinger, Jan Otop
The target discounted-sum problem is the following: Given a rational discount factor 0<λ<1 and three rational values a,b, and t, does there exist a finite or an infinite sequ…