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:	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:	15 Mar 2024 00:25
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