_id,title
3339,Magnifying lens abstraction for stochastic games with discounted and long-run average objectives