DOI,IST REx ID,Research Group,Title of publication
10.48550/arXiv.1107.2132,3339,KrCh,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives