8 citations
1 paper
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). Th…