Sciweavers

1503 search results - page 3 / 301
» Generalized Parity Games
Sort
View
89
Voted
ITA
2002
163views Communications» more  ITA 2002»
14 years 9 months ago
Permissive strategies: from parity games to safety games
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...
Julien Bernet, David Janin, Igor Walukiewicz
CSL
2002
Springer
14 years 9 months ago
Trading Probability for Fairness
d Abstract) Marcin Jurdzi
Marcin Jurdzinski, Orna Kupferman, Thomas A. Henzi...
HPCC
2005
Springer
15 years 3 months ago
A New Parity Space Approach to Fault Detection for General Systems
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...
Pyung Soo Kim, Eung Hyuk Lee
79
Voted
LPAR
2010
Springer
14 years 8 months ago
The Complexity of Partial-Observation Parity Games
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...
Krishnendu Chatterjee, Laurent Doyen
84
Voted
FOSSACS
2006
Springer
15 years 1 months ago
Parity Games Played on Transition Graphs of One-Counter Processes
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...
Olivier Serre