1503 search results - page 1 / 301 » Generalized Parity Games |
LICS
2005
IEEE
13 years 11 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
FOSSACS
2007
Springer
13 years 11 months ago
2007
Springer
ATVA
2009
Springer
14 years 20 hour ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
ICALP
2010
Springer
13 years 9 months ago
2010
Springer
Energy parity games are infinite two-player turn-based games played on weighted graphs. The objective of the game combines a (qualitative) parity condition with the (quantitative)...
DM
2007
13 years 5 months ago
2007
Switch-setting games like Lights Out are typically modelled as a graph, where the vertices represent switches and lamps, and the edges capture the switching rules. We generalize t...