Follow
Alexander Svozil
Alexander Svozil
Amazon
Verified email at amazon.lu - Homepage
Title
Cited by
Cited by
Year
Fully Dynamic k-Center Clustering in Low Dimensional Metrics
G Goranci, M Henzinger, D Leniowski, C Schulz, A Svozil
2021 Proceedings of the Workshop on Algorithm Engineering and Experiments …, 2021
20*2021
Quasipolynomial set-based symbolic algorithms for parity games
K Chatterjee, W Dvořák, M Henzinger, A Svozil
arXiv preprint arXiv:1909.04983, 2019
102019
Near-linear time algorithms for streett objectives in graphs and MDPs
K Chatterjee, W Dvorák, M Henzinger, A Svozil
arXiv preprint arXiv:1909.05539, 2019
92019
Algorithms and conditional lower bounds for planning problems
K Chatterjee, W Dvořák, M Henzinger, A Svozil
Artificial Intelligence 297, 103499, 2021
72021
Faster algorithms for mean-payoff parity games
K Chatterjee, M Henzinger, A Svozil
arXiv preprint arXiv:1706.06139, 2017
52017
Faster algorithms for bounded liveness in graphs and game graphs
K Chatterjee, M Henzinger, S Kale, A Svozil
32021
Symbolic time and space tradeoffs for probabilistic verification
K Chatterjee, W Dvořák, M Henzinger, A Svozil
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2021
32021
Leveraging the Power of Graph Algorithms: Efficient Algorithms for Computer-Aided Verification
A Svozil
arXiv preprint arXiv:2202.02660, 2022
22022
Induction and physical theory formation by Machine Learning
A Svozil, K Svozil
arXiv preprint arXiv:1609.03862, 2016
12016
Moderne Graphalgorithmen für die formale Verifikation
A Svozil
D22, 261-270, 2022
2022
Induction and physical theory formation as well as universal computation by machine learning
A Svozil, K Svozil
Swarm Intelligence, 170-180, 2020
2020
30th International Conference on Concurrency Theory (CONCUR 2019)
MZ Kwiatkowska, KG Larsen, J Ouaknine, J van de Pol, J Kretínský, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019
2019
Algorithms and Conditional Lower bounds for Planning Problems
W Dvorak, K Chatterjee, M Henzinger, A Svozil
International Conference on Automated Planning and Scheduling (ICAPS 2018), 1-14, 2018
2018
Complexity of well-designed SPARQL
A Svozil
Technische Universität Wien, 2016
2016
Die Wirksamkeit von Graphalgorithmen: Effiziente Algorithmen für die formale Verifikation1
A Svozil
The system can't perform the operation now. Try again later.
Articles 1–15