The Stochastic Target Discounted-Sum Problem

Nathalie Bertrand, Pranav Ghorpade, Senthil Rajasekaran +2

The target discounted-sum problem (TDS) asks, given a finite integer alphabet $\Sigma$, a rational discount factor $\lambda$, and a rational target $t$, whether some infinite sequence over $Σ…