27 citations · 69 across the 15 of their papers we have counts for
1 paper · 2 filters
Udi Boker, Thomas A. Henzinger
A discounted-sum automaton (NDA) is a nondeterministic finite automaton with edge weights, valuing a run by the discounted sum of visited edge weights. More precisely, the weight i…