We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.GT

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computer Science and Game Theory

Title: Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP

Abstract: We study stochastic games with energy-parity objectives, which combine quantitative rewards with a qualitative $\omega$-regular condition: The maximizer aims to avoid running out of energy while simultaneously satisfying a parity condition. We show that the corresponding almost-sure problem, i.e., checking whether there exists a maximizer strategy that achieves the energy-parity objective with probability $1$ when starting at a given energy level $k$, is decidable and in $NP \cap coNP$. The same holds for checking if such a $k$ exists and if a given $k$ is minimal.
Subjects: Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)
Cite as: arXiv:2101.06989 [cs.GT]
  (or arXiv:2101.06989v1 [cs.GT] for this version)

Submission history

From: Patrick Totzke [view email]
[v1] Mon, 18 Jan 2021 10:50:27 GMT (379kb,D)

Link back to: arXiv, form interface, contact.