TY  - RPRT
TI  - Determinization of Integral Discounted-Sum Automata is Decidable
AU  - Shaull Almagor
AU  - Neta Dafni
PY  - 2026
UR  - https://arxiv.org/abs/2310.09115
ID  - 2310.09115
ER  -