85 citations · 354 across the 71 of their papers we have counts for
4 papers · 1 filter
Algorithms for Game Metrics
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar +1
Simulation and bisimulation metrics for stochastic systems provide a quantitative generalization of the classical simulation and bisimulation relations. These metrics capture the s…
Game Refinement Relations and Metrics
Luca de Alfaro, Rupak Majumdar, Vishwanath Raman +1
We consider two-player games played over finite state spaces for an infinite number of rounds. At each state, the players simultaneously choose moves; the moves determine a success…
Stochastic Limit-Average Games are in EXPTIME
Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger
The value of a finite-state two-player zero-sum stochastic game with limit-average payoff can be approximated to within in time exponential in a polynomial in the size of the g…
The Complexity of Coverage
Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar
We study the problem of generating a test sequence that achieves maximal coverage for a reactive system under test. We formulate the problem as a repeated game between the tester a…