8 citations
4 papers · 1 filter
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…
Discounting in Games across Time Scales
Krishnendu Chatterjee, Rupak Majumdar
We introduce two-level discounted games played by two players on a perfect-information stochastic game graph. The upper level game is a discounted game and the lower level game is…
Measuring and Synthesizing Systems in Probabilistic Environments
Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann +1
Often one has a preference order among the different systems that satisfy a given specification. Under a probabilistic assumption about the possible inputs, such a preference order…
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…