171 citations · 497 across the 31 of their papers we have counts for
4 papers · 2 filters
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~.…
Generalized Mean-payoff and Energy Games
Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger +1
In mean-payoff games, the objective of the protagonist is to ensure that the limit average of an infinite sequence of numeric weights is nonnegative. In energy games, the objective…
Mean-payoff Automaton Expressions
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…
Energy Parity Games
Krishnendu Chatterjee, Laurent Doyen
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)…