Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.

Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil

Browse the full ICALP paper archive.