5 citations · 11 across the 10 of their papers we have counts for
1 paper · 1 filter
Yaron Velner
"Quantitative languages are extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions th…