doc. RNDr. Tomáš Brázdil, Ph.D., MBA
Associate professor, Department of Machine Learning and Data Processing
office: S214
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 3922 |
|---|
| social and academic networks: |
|---|
Total number of publications: 85
2010
-
One-Counter Stochastic Games
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), year: 2010
-
Reachability Games on Extended Vector Addition Systems with States
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), year: 2010, DOI
-
Space-efficient scheduling of stochastically generated tasks
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), year: 2010, DOI
-
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
CONCUR 2010 - Concurrency Theory, year: 2010, DOI
2009
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Electronic Notes in Theoretical Computer Science, year: 2009, volume: 2009, edition: 239
-
Continuous-Time Stochastic Games with Time-Bounded Reachability
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), year: 2009
-
On the memory consumption of probabilistic pushdown automata
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), year: 2009
-
Qualitative Reachability in Stochastic BPA Games
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, year: 2009
2008
-
Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives
Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II., year: 2008
-
Deciding probabilistic bisimilarity over infinite-state probabilistic systems
Acta informatica, year: 2008, volume: 45, edition: 2