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

2008

• Discounted Properties of Probabilistic Pushdown Automata

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

  Stať ve sborníku

  Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, rok: 2008

• Reachability in Recursive Markov Decision Processes

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

  Recenzovaný odborný článek

  Information and Computation, rok: 2008, ročník: 206, vydání: 5

• The Satisfiability Problem for Probabilistic CTL

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

  Stať ve sborníku

  23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings, rok: 2008

2007

• Branching-Time Model-Checking of Probabilistic Pushdown Automata

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

  Stať ve sborníku

  Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, rok: 2007

• Branching-Time Model-Checking of Probabilistic Pushdown Automata

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

  Další prezentace na konferencích

  Rok: 2007, druh: Další prezentace na konferencích

• Stochastic Game Logic

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

  Stať 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

  Stať 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áš

  Recenzovaný odborný článek

  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

  Stať 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

  Stať ve sborníku

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