8 search results - page 2 / 2 » Finite-State Strategies in Regular Infinite Games |
TCS
2008
14 years 11 months ago
2008
We investigate the decidability of observational equivalence and approximation in Reynolds' "Syntactic Control of Interference" (SCI), a prototypical functionalimpe...
CONCUR
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
76
Voted
SODA
2004
ACM
15 years 1 months ago
2004
ACM
We study perfect-information stochastic parity games. These are two-player nonterminating games which are played on a graph with turn-based probabilistic transitions. A play resul...