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

2009

• Continuous-Time Stochastic Games with Time-Bounded Reachability

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

  Článek ve sborníku

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

• On the memory consumption of probabilistic pushdown automata

  BRÁZDIL Tomáš ESPARZA Javier KIEFER Stefan

  Článek ve sborníku

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

• Qualitative Reachability in Stochastic BPA Games

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

  Článek ve sborníku

  Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, rok: 2009

2008

• Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives

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

  Článek ve sborníku

  Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II., rok: 2008

• Deciding probabilistic bisimilarity over infinite-state probabilistic systems

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

  Článek v odborném periodiku

  Acta informatica, rok: 2008, ročník: 45, vydání: 2

• Discounted Properties of Probabilistic Pushdown Automata

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

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

  Článek v odborném periodiku

  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

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

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