Cargando…
Energy parity games()
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) requirement that the sum of the weights (i.e., the level of energy in the game) must remain positive. Beside their own i...
Autores principales: | Chatterjee, Krishnendu, Doyen, Laurent |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
North-Holland Pub. Co
2012
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3587466/ https://www.ncbi.nlm.nih.gov/pubmed/23470985 http://dx.doi.org/10.1016/j.tcs.2012.07.038 |
Ejemplares similares
-
Density games()
por: Novak, Sebastian, et al.
Publicado: (2013) -
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP
por: Mayr, Richard, et al.
Publicado: (2021) -
On Satisficing in Quantitative Games
por: Bansal, Suguman, et al.
Publicado: (2021) -
Stochastic Games with Lexicographic Reachability-Safety Objectives
por: Chatterjee, Krishnendu, et al.
Publicado: (2020) -
Family-Based SPL Model Checking Using Parity Games with Variability
por: ter Beek, Maurice H., et al.
Publicado: (2020)