59 citations · 68 across the 20 of their papers we have counts for
1 paper · 2 filters
Nathalie Bertrand, Pranav Ghorpade, Senthil Rajasekaran +2
The target discounted-sum problem (TDS) asks, given a finite integer alphabet Σ, a rational discount factor λ, and a rational target t, whether some infinite sequence over $Σ…