Faster Algorithms for Bounded Liveness in Graphs and Game Graphs

Faster Algorithms for Bounded Liveness in Graphs and Game Graphs

Authors
  • Chatterjee, Krishnendu
  • Henzinger, Monika
  • Kale, Sagar
  • Svozil, Alexander
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
48th International Colloquium on Automata, Languages, and Programming (ICALP)
Divisions
Theory and Applications of Algorithms
Subjects
Theoretische Informatik
Event Location
virtual
Event Type
Conference
Event Dates
12th-16th July
Date
12 July 2021
Export
Grafik Top