Determinization of Integral Discounted-Sum Automata is Decidable

Shaull Almagor, Neta Dafni

Nondeterministic Discounted-Sum Automata (NDAs) are nondeterministic finite automata equipped with a discounting factor $\lambda >1$, and whose transitions are labelled by weights. The va…