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

2011

• Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

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

  Článek ve sborníku

  HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, rok: 2011

• Qualitative Reachability in Stochastic BPA Games

  BRÁZDIL Tomáš BROŽEK Václav KUČERA Antonín OBDRŽÁLEK Jan

  Článek v odborném periodiku

  Information and Computation, rok: 2011, ročník: 209, vydání: 8

• Runtime Analysis of Probabilistic Programs with Unbounded Recursion

  BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín HUTAŘOVÁ VAŘEKOVÁ Ivana

  Článek ve sborníku

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

• Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

  BROŽEK Václav BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín

  Článek ve sborníku

  Proceedings 26th Annual IEEE Symposium on Logic in Computer Science, rok: 2011

2010

• One-Counter Markov Decision Processes

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

  Článek ve sborníku

  Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, rok: 2010

• One-Counter Stochastic Games

  BRÁZDIL Tomáš BROŽEK Václav ETESSAMI Kousha

  Článek ve sborníku

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), rok: 2010

• Reachability Games on Extended Vector Addition Systems with States

  BRÁZDIL Tomáš JANČAR Petr KUČERA Antonín

  Článek ve sborníku

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

• Space-efficient scheduling of stochastically generated tasks

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

  Článek ve sborníku

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

• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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

  Článek ve sborníku

  CONCUR 2010 - Concurrency Theory, rok: 2010

2009

• Branching-Time Model-Checking of Probabilistic Pushdown Automata

  BRÁZDIL Tomáš BROŽEK Václav FOREJT Vojtěch

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2009, ročník: 2009, vydání: 239