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

2005

• Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion

  BRÁZDIL Tomáš ESPARZA Javier KUČERA Antonín

  Stať ve sborníku

  Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), rok: 2005

• Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains

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

  Stať ve sborníku

  25th International Conference on Foundations of Software Technology and Theoretical Computer Science, rok: 2005

• On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

  BRÁZDIL Tomáš KUČERA Antonín STRAŽOVSKÝ Oldřich

  Stať ve sborníku

  Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005), rok: 2005

2004

• Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems

  BRÁZDIL Tomáš KUČERA Antonín STRAŽOVSKÝ Oldřich

  Stať ve sborníku

  Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), rok: 2004

2002

• Local Distributed Model Checking of RegCTL

  ČERNÁ Ivana BRÁZDIL Tomáš

  Stať ve sborníku

  PDMC 2002 Parallel and Distributed Model Checking, rok: 2002