External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Faster Algorithms for Bounded Liveness in Graphs and Game Graphs

Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil. Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. In Nikhil Bansal, Emanuela Merelli, James Worrell 0001, editors, 48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference). Volume 198 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]

Authors

Krishnendu Chatterjee

This author has not been identified. Look up 'Krishnendu Chatterjee' in Google

Monika Henzinger

This author has not been identified. Look up 'Monika Henzinger' in Google

Sagar Kale

This author has not been identified. Look up 'Sagar Kale' in Google

Alexander Svozil

This author has not been identified. Look up 'Alexander Svozil' in Google
runs on