10 citations · 19 across the 5 of their papers we have counts for
3 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…
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…
Synthesis of AMBA AHB from Formal Specification
Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger
The standard procedure for hardware design consists of describing circuit in a hardware description language at logic level followed by extensive verification and logic-synthesis.…