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

  Article in Proceedings

  Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, year: 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

  Year: 2009, type:

• 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

  Year: 2009, type:

2008

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

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

  Article in Proceedings

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

• Deciding probabilistic bisimilarity over infinite-state probabilistic systems

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

  Article in Periodical

  Acta informatica, year: 2008, volume: 45, edition: 2

• Discounted Properties of Probabilistic Pushdown Automata

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

  Article in Proceedings

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

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

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

  Article in Periodical

  Fundamenta Informaticae, year: 2008, volume: 82, edition: 1-2

• Reachability in Recursive Markov Decision Processes

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

  Article in Periodical

  Information and Computation, year: 2008, volume: 206, edition: 5

• The Satisfiability Problem for Probabilistic CTL

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

  Article in Proceedings

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

• Verification of Infinite State Probabilistic Systems

  KUČERA Antonín

  Year: 2008, type: