DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.ICALP.2021.124,10054,KrCh,Faster algorithms for bounded liveness in graphs and game graphs