_id,doi,title
553,10.4230/LIPIcs.MFCS.2017.55,Strategy complexity of concurrent safety games