Alexander Svozil

According to our database, Alexander Svozil authored at least 10 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification.

Alexander Svozil

CoRR, 2022

2021

Moderne Graphalgorithmen für die formale Verifikation.

Alexander Svozil

Proceedings of the Ausgezeichnete Informatikdissertationen 2021., 2021

Algorithms and conditional lower bounds for planning problems.

Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil

Artif. Intell., 2021

Symbolic Time and Space Tradeoffs for Probabilistic Verification.

Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.

Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Fully Dynamic <i>k</i>-Center Clustering in Low Dimensional Metrics.

Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Christian Schulz, Alexander Svozil

Proceedings of the Symposium on Algorithm Engineering and Experiments, 2021

2019

Fully Dynamic k-Center Clustering in Doubling Metrics.

Gramoz Goranci, Monika Henzinger, Dariusz Leniowski, Alexander Svozil

CoRR, 2019

Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.

Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil

Proceedings of the 30th International Conference on Concurrency Theory, 2019

2018

Quasipolynomial Set-Based Symbolic Algorithms for Parity Games.

Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Faster Algorithms for Mean-Payoff Parity Games.

Krishnendu Chatterjee, Monika Henzinger, Alexander Svozil

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017