prof. RNDr. Antonín Kučera, Ph.D.

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

• SOFSEM 2009: Theory and Practice of Computer Science

  NIELSEN Mogens KUČERA Antonín MILTERSEN Peter Bro PALAMIDESSI Catuscia TŮMA Petr VALENCIA Frank BIELIKOVÁ Mária

  Editorství tématického sborníku

  Rok: 2009, druh: Editorství tématického sborníku

• SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science : Špindlerův Mlýn, Czech Republic, January 2009, Proceedings

  MOGENS Nielsen KUČERA Antonín MILTERSEN Peter Bro PALAMIDESSI Catuscia TŮMA Petr VALENCIA Frank

  Editorství tématického sborníku

  Rok: 2009, druh: Editorství tématického sborníku

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

• On the Controller Synthesis for Finite-State Markov Decision Processes

  KUČERA Antonín STRAŽOVSKÝ Oldřich

  Článek v odborném periodiku

  Fundamenta Informaticae, rok: 2008, ročník: 82, vydání: 1-2

• 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

• Verification of Infinite State Probabilistic Systems

  KUČERA Antonín

  Vyžádané přednášky

  Rok: 2008, druh: Vyžádané přednášky