DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-642-54830-7_16,2213,KrCh,The complexity of partial-observation stochastic parity games with finite-memory strategies