118 search results - page 1 / 24 » Concurrent Omega-Regular Games |
LICS
2000
IEEE
13 years 9 months ago
2000
IEEE
We consider two-player games which are played on a finite state space for an infinite number of rounds. The games are concurrent, that is, in each round, the two players choose ...
CSL
2006
Springer
13 years 8 months ago
2006
Springer
We study observation-based strategies for two-player turn-based games on graphs with omega-regular objectives. An observation-based strategy relies on imperfect information about t...
MFCS
2010
Springer
13 years 3 months ago
2010
Springer
We address the strategy problem for ω-regular two-player games with partial information, played on finite game graphs. We consider two different kinds of observability on a gene...
CONCUR
2009
Springer
13 years 2 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
CONCURRENCY
2011
12 years 12 months ago
2011