1 citations · 1 across the 3 of their papers we have counts for
3 papers
Termination Criteria for Solving Concurrent Safety and Reachability Games
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger
We consider concurrent games played on graphs. At every round of a game, each player simultaneously and independently selects a move; the moves jointly determine the transition to…
Probabilistic Systems with LimSup and LimInf Objectives
Krishnendu Chatterjee, Thomas A. Henzinger
We give polynomial-time algorithms for computing the values of Markov decision processes (MDPs) with limsup and liminf objectives. A real-valued reward is assigned to each state, a…
Timed Parity Games: Complexity and Robustness
Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak Prabhu
We consider two-player games played in real time on game structures with clocks and parity objectives. The games are concurrent in that at each turn, both players independently pro…