Alexander Svozil

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 15

Top Topics

Maximal Cliques

Planning Problems

Computationally Demanding

Low Dimensional

Top Venues

Publications

Alexander Svozil
Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification. CoRR (2022)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Symbolic Time and Space Tradeoffs for Probabilistic Verification. CoRR (2021)
Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil
Faster Algorithms for Bounded Liveness in Graphs and Game Graphs. ICALP (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Algorithms and conditional lower bounds for planning problems. Artif. Intell. 297 (2021)
Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Christian Schulz, Alexander Svozil
-Center Clustering in Low Dimensional Metrics. ALENEX (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Symbolic Time and Space Tradeoffs for Probabilistic Verification. LICS (2021)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. CoRR (2019)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs. CONCUR (2019)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. CoRR (2019)
Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Alexander Svozil
Fully Dynamic k-Center Clustering in Doubling Metrics. CoRR (2019)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Algorithms and Conditional Lower Bounds for Planning Problems. CoRR (2018)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Algorithms and Conditional Lower Bounds for Planning Problems. ICAPS (2018)
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games. LPAR (2018)
Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil
Faster Algorithms for Mean-Payoff Parity Games. MFCS (2017)
Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil
Faster Algorithms for Mean-Payoff Parity Games. CoRR (2017)