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

2007

• Stochastic Game Logic

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

  Článek ve sborníku

  Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), rok: 2007

• Strategy Synthesis for Markov Decision Processes and Branching-Time Logics

  BRÁZDIL Tomáš FOREJT Vojtěch

  Článek ve sborníku

  Proceedings of 18th International Conference on Concurrency Theory (CONCUR 2007), rok: 2007

2006

• Model Checking of RegCTL

  ČERNÁ Ivana BRÁZDIL Tomáš

  Článek v odborném periodiku

  Computing and Informatics, rok: 2006, ročník: 25, vydání: 1

• Reachability in Recursive Markov Decision Processes

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

  Článek ve sborníku

  17th International Conference on Concurrency Theory, rok: 2006

• Stochastic Games with Branching-Time Winning Objectives

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

  Článek ve sborníku

  21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings, rok: 2006

2005

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

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

  Článek 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

  Článek 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

  Článek 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

  Článek 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áš

  Článek ve sborníku

  PDMC 2002 Parallel and Distributed Model Checking, rok: 2002