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