_id,doi,title
10054,10.4230/LIPIcs.ICALP.2021.124,Faster algorithms for bounded liveness in graphs and game graphs