Near-linear time algorithms for Streett objectives in Graphs and MDPs

Near-linear time algorithms for Streett objectives in Graphs and MDPs

Authors
  • Chatterjee, Krishnendu
  • Dvořák, Wolfgang
  • Henzinger, Monika
  • Svozil, Alexander
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Paper)
Event Title
CONCUR 2019, the 30th International Conference on Concurrency Theory
Divisions
Theory and Applications of Algorithms
Subjects
Theoretische Informatik
Event Location
Amsterdam, The Netherlands
Event Type
Conference
Event Dates
August 26-31, 2019
Date
August 2019
Export
Grafik Top