doc. RNDr. Tomáš Brázdil, Ph.D.

2013

• Trading Performance for Stability in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín

  Článek ve sborníku

  Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), rok: 2013

2012

• Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

  BRÁZDIL Tomáš CHATTERJEE Krishnendu KUČERA Antonín NOVOTNÝ Petr

  Článek ve sborníku

  Computer Aided Verification - 24th International Conference, CAV 2012, rok: 2012

• Minimizing Expected Termination Time in One-Counter Markov Decision Processes

  BRÁZDIL Tomáš KUČERA Antonín NOVOTNÝ Petr WOJTCZAK Dominik

  Článek ve sborníku

  Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), rok: 2012

• Space-efficient scheduling of stochastically generated tasks

  BRÁZDIL Tomáš ESPARZA Javier KIEFER Stefan LUTTENBERGER Michael

  Článek v odborném periodiku

  Information and Computation, rok: 2012, ročník: 210, vydání: January, DOI

• Stabilization of Branching Queueing Networks

  BRÁZDIL Tomáš KIEFER Stefan

  Článek ve sborníku

  Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, rok: 2012

• Stochastic game logic

  BAIER Christel BRÁZDIL Tomáš GRÖßER Marcus KUČERA Antonín

  Článek v odborném periodiku

  Acta informatica, rok: 2012, ročník: 49, vydání: 4, DOI

• Verification of Open Interactive Markov Chains

  BRÁZDIL Tomáš HERMANNS Holger KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

  Článek ve sborníku

  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

  BRÁZDIL Tomáš BROŽEK Václav ETESSAMI Kousha KUČERA Antonín

  Článek ve sborníku

  Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), rok: 2011

• Efficient Analysis of Probabilistic Programs with an Unbounded Counter

  BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín

  Článek ve sborníku

  Computer Aided Verification, 23rd International Conference, CAV 2011, rok: 2011

• Fixed-delay Events in Generalized Semi-Markov Processes Revisited

  BRÁZDIL Tomáš KRČÁL Jan KŘETÍNSKÝ Jan ŘEHÁK Vojtěch

  Článek ve sborníku

  CONCUR 2011 - Concurrency Theory: 22nd International Conference, rok: 2011