Alexander Svozil

16 papers A* 3A 1B 3Journal 8
YearRankTypeTitle / Venue / Authors
2022 J jnl
Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification.
CoRR
Alexander Svozil
2021 J jnl
Algorithms and conditional lower bounds for planning problems.
Artif. Intell.
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2021 A* conf
Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.
ICALP
Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil
2021 A conf
Fully Dynamic
ALENEX
Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Christian Schulz, Alexander Svozil
2021 — ch.
Moderne Graphalgorithmen für die formale Verifikation.
Ausgezeichnete Informatikdissertationen
Alexander Svozil
2021 A* conf
Symbolic Time and Space Tradeoffs for Probabilistic Verification.
LICS
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2021 J jnl
Symbolic Time and Space Tradeoffs for Probabilistic Verification.
CoRR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2019 J jnl
Fully Dynamic k-Center Clustering in Doubling Metrics.
CoRR
Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Alexander Svozil
2019 B conf
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.
CONCUR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2019 J jnl
Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.
CoRR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2019 J jnl
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.
CoRR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2018 A* conf
Algorithms and Conditional Lower Bounds for Planning Problems.
ICAPS
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2018 J jnl
Algorithms and Conditional Lower Bounds for Planning Problems.
CoRR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2018 B conf
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.
LPAR
Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil
2017 B conf
Faster Algorithms for Mean-Payoff Parity Games.
MFCS
Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil
2017 J jnl
Faster Algorithms for Mean-Payoff Parity Games.
CoRR
Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil