_id,doi,title
551,10.4230/LIPIcs.MFCS.2017.61,Faster Monte Carlo algorithms for fixation probability of the Moran process on undirected graphs
552,10.4230/LIPIcs.MFCS.2017.39,Faster algorithms for mean-payoff parity games
553,10.4230/LIPIcs.MFCS.2017.55,Strategy complexity of concurrent safety games