TY  - RPRT
TI  - The Target Discounted-Sum Problem
AU  - Udi Boker
AU  - Thomas A. Henzinger
AU  - Jan Otop
PY  - 2025
DO  - 10.1109/lics.2015.74
UR  - https://arxiv.org/abs/2511.22979
ID  - 2511.22979
ER  -