Svozil, Alexander

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Full name Familienname, Vorname
Svozil, Alexander
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Symbolic Time and Space Tradeoffs for Probabilistic VerificationKonferenzbeitrag Inproceedings 2021
2Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika Quasipolynomial Set-Based Symbolic Algorithms for Parity GamesKonferenzbeitrag Inproceedings 2018
3Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPsKonferenzbeitrag Inproceedings 2019
4Svozil, Alexander ; Svozil, Karl ; Schumann, A. Induction and Physical Theory Formation As Well As Universal Computation by Machine LearningBuchbeitrag Book Contribution2021
5Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Svozil, Alexander Algorithms and Conditional Lower bounds for Planning ProblemsKonferenzbeitrag Inproceedings 2018
6Chatterjee, Krishnendu ; Dvořák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Algorithms and conditional lower bounds for planning problemsArtikel Article 2021