ICALP 2021

The paper "Faster Algorithms for Bounded Liveness in Graphs and Game Graphs" by Krishnendu Chatterjee, Monika Henzinger, Sagar Kale and Alexander Svozil was accepted to the International Colloquium on Automata, Languages and Programming (ICALP 2021).