|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander | Symbolic Time and Space Tradeoffs for Probabilistic Verification | Konferenzbeitrag Inproceedings  | 2021 |
| 2 | | Chatterjee, Krishnendu ; Dvořák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander | Algorithms and conditional lower bounds for planning problems | Artikel Article | 2021 |
| 3 | | Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander | Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs | Konferenzbeitrag Inproceedings | 2019 |
| 4 | | Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika | Quasipolynomial Set-Based Symbolic Algorithms for Parity Games | Konferenzbeitrag Inproceedings | 2018 |
| 5 | | Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika | Lower Bounds for Symbolic Computation on Graphs: Strongly Connected Components, Liveness, Safety, and Diameter | Konferenzbeitrag Inproceedings | 2018 |
| 6 | | Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Loitzenbauer, Veronika | Expressive Power of Collective Attacks | Präsentation Presentation | 2018 |
| 7 | | Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Svozil, Alexander | Algorithms and Conditional Lower bounds for Planning Problems | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Loitzenbauer, Veronika | Improved Set-based Symbolic Algorithms for Parity Games | Konferenzbeitrag Inproceedings | 2017 |
