doc. RNDr. Tomáš Brázdil, Ph.D.
docent – Katedra strojového učení a zpracování dat
kancelář: C437
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3922 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 79
2012
-
Efficient Controller Synthesis for Consumption Games with Multiple Resource Types
Computer Aided Verification - 24th International Conference, CAV 2012, rok: 2012
-
Minimizing Expected Termination Time in One-Counter Markov Decision Processes
Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), rok: 2012
-
Space-efficient scheduling of stochastically generated tasks
Information and Computation, rok: 2012, ročník: 210, vydání: January, DOI
-
Stabilization of Branching Queueing Networks
Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, rok: 2012
-
Stochastic game logic
Acta informatica, rok: 2012, ročník: 49, vydání: 4, DOI
-
Verification of Open Interactive Markov Chains
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), rok: 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), rok: 2011
-
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Computer Aided Verification, 23rd International Conference, CAV 2011, rok: 2011
-
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
CONCUR 2011 - Concurrency Theory: 22nd International Conference, rok: 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, rok: 2011