doc. RNDr. Tomáš Brázdil, Ph.D.
Associate professor, Department of Machine Learning and Data Processing
Office: C437
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 3922 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 79
2012
-
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Computer Aided Verification - 24th International Conference, CAV 2012, year: 2012
-
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), year: 2012
-
Space-efficient scheduling of stochastically generated tasks
Information and Computation, year: 2012, volume: 210, edition: January, DOI
-
Stabilization of Branching Queueing Networks
Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, year: 2012
-
Stochastic game logic
Acta informatica, year: 2012, volume: 49, edition: 4, DOI
-
Verification of Open Interactive Markov Chains
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 2012
2011
-
Approximating the Termination Value of One-Counter MDPs and Stochastic Games
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
-
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Computer Aided Verification, 23rd International Conference, CAV 2011, year: 2011
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, year: 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