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