Name Card

Full name Familienname, Vorname
Svozil, Alexander
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-7 of 7 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Chatterjee, Krishnendu ; Dvořák, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Algorithms and conditional lower bounds for planning problemsArtikel Article 2021
2Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Symbolic Time and Space Tradeoffs for Probabilistic VerificationKonferenzbeitrag Inproceedings 2021
3Svozil, Alexander ; Svozil, Karl Induction and Physical Theory Formation As Well As Universal Computation by Machine LearningBuchbeitrag Book Contribution2021
4Chatterjee, Krishnendu ; Dvorak, Wolfgang ; Henzinger, Monika ; Svozil, Alexander Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPsKonferenzbeitrag Inproceedings 2019
5Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika ; Svozil, Alexander Algorithms and Conditional Lower bounds for Planning ProblemsKonferenzbeitrag Inproceedings 2018
6Svozil, Alexander ; Dvorak, Wolfgang ; Chatterjee, Krishnendu ; Henzinger, Monika Quasipolynomial Set-Based Symbolic Algorithms for Parity GamesKonferenzbeitrag Inproceedings 2018
7Svozil Alexander - 2016 - Complexity of well-designed SPARQL.pdf.jpgSvozil, Alexander Complexity of well-designed SPARQLThesis Hochschulschrift 2016