doc. RNDr. Tomáš Brázdil, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
Office: S214
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 3922 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 80
2011
-
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, year: 2011
-
Qualitative Reachability in Stochastic BPA Games
Information and Computation, year: 2011, volume: 209, edition: 8
-
Runtime Analysis of Probabilistic Programs with Unbounded Recursion
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
-
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes
Proceedings 26th Annual IEEE Symposium on Logic in Computer Science, year: 2011
2010
-
One-Counter Markov Decision Processes
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, year: 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
-
Space-efficient scheduling of stochastically generated tasks
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), year: 2010
-
Stochastic Real-Time Games with Qualitative Timed Automata Objectives
CONCUR 2010 - Concurrency Theory, year: 2010
2009
-
Branching-Time Model-Checking of Probabilistic Pushdown Automata
Electronic Notes in Theoretical Computer Science, year: 2009, volume: 2009, edition: 239