1 citations · 1 across the 3 of their papers we have counts for
Showing cs.GTShow all
2 papers · 1 filter
cs.GT2008
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…
cs.GT2008★ 1 cited
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…