1 citations · 1 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2008
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…
cs.LO2001
A Classification of Symbolic Transition Systems
Thomas A. Henzinger, Rupak Majumdar, Jean-Francois Raskin
We define five increasingly comprehensive classes of infinite-state systems, called STS1--5, whose state spaces have finitary structure. For four of these classes, we provide examp…