1 paper · 2 filters
Shaull Almagor, Neta Dafni
Nondeterministic Discounted-Sum Automata (NDAs) are nondeterministic finite automata equipped with a discounting factor λ>1, and whose transitions are labelled by weights. The va…