35 citations · 35 across the 1 of their papers we have counts for
1 paper
Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner +2
Quantitative languages are an extension of boolean languages that assign to each word a real number. Mean-payoff automata are finite automata with numerical weights on transitions…