8 citations · 13 across the 3 of their papers we have counts for
3 papers
Probabilistic Weighted Automata
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…
Expressiveness and Closure Properties for Quantitative Languages
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger
Weighted automata are nondeterministic automata with numerical weights on transitions. They can define quantitative languages that assign to each word a real number .…
Alpaga: A Tool for Solving Parity Games with Imperfect Information
Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf +2
Alpaga is a solver for two-player parity games with imperfect information. Given the description of a game, it determines whether the first player can ensure to win and, if so, it…