2 citations · 2 across the 1 of their papers we have counts for
3 papers
Assume-Guarantee Synthesis for Digital Contract Signing
Krishnendu Chatterjee, Vishwanath Raman
We study the automatic synthesis of fair non-repudiation protocols, a class of fair exchange protocols, used for digital contract signing. First, we show how to specify the objecti…
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…