Near-linear time algorithms for Streett objectives in Graphs and MDPs
- Chatterjee, Krishnendu
- Dvořák, Wolfgang
- Henzinger, Monika
- Svozil, Alexander
Projects
- Efficient Algorithms for Computer Aided Verification
- ERC Advanced Grant: Challenges in Graph Algorithms with Applications
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 |