1503 search results - page 3 / 301 » Generalized Parity Games |
ITA
2002
13 years 8 months ago
2002
It is proposed to compare strategies in a parity game by comparing the sets of behaviours they allow. For such a game, there may be no winning strategy that encompasses all the be...
CSL
2002
Springer
13 years 8 months ago
2002
Springer
d Abstract) Marcin Jurdzi
HPCC
2005
Springer
14 years 2 months ago
2005
Springer
This paper proposes a new parity space approach to a fault detection for general systems with noises, actuator faults and sensor faults. The proposed parity space approach could be...
LPAR
2010
Springer
13 years 7 months ago
2010
Springer
We consider two-player zero-sum games on graphs. On the basis of the information available to the players these games can be classified as follows: (a) partial-observation (both p...
FOSSACS
2006
Springer
14 years 19 days ago
2006
Springer
We consider parity games played on special pushdown graphs, namely those generated by one-counter processes. For parity games on pushdown graphs, it is known from [22] that decidin...