DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-662-44522-8_1,1903,KrCh,Partial-observation stochastic reachability and parity games