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



Totzke, Patrick ORCID: 0000-0001-5274-8190, Schewe, Sven ORCID: 0000-0002-9093-9518 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021) Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP. In: Foundations of Software Science and Computation Structures, 2021-3-27 - 2021-4-1, Luxembourg.

Access the full-text of this item by clicking on the Open Access link.
Item Type: Conference or Workshop Item (Unspecified)
Uncontrolled Keywords: 46 Information and Computing Sciences, 7 Affordable and Clean Energy
Divisions: Faculty of Science and Engineering > School of Electrical Engineering, Electronics and Computer Science
Depositing User: Symplectic Admin
Date Deposited: 15 Nov 2021 08:30
Last Modified: 11 Jun 2024 01:39
DOI: 10.1007/978-3-030-71995-1_22
Open Access URL: https://link.springer.com/chapter/10.1007%2F978-3-...
URI: https://livrepository.liverpool.ac.uk/id/eprint/3143104