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

2006

• 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

• 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

  GRUSKA Jozef BOUDA Jan KUČERA Antonín KRAJÍČEK Ondřej

  Uspořádání workshopu

  Rok: 2005, druh: Uspořádání workshopu

• 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)

  KUČERA Antonín GRUSKA Jozef ČEŠKA Milan

  Uspořádání workshopu

  Rok: 2005, druh: Uspořádání workshopu

• 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

• Characteristic Patterns for LTL

  KUČERA Antonín STREJČEK Jan

  Článek ve sborníku

  SOFSEM 2005: Theory and Practice of Computer Science, rok: 2005

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

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

  Č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

• Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)

  KUČERA Antonín GRUSKA Jozef ČEŠKA Milan

  Odborná kniha

  Rok: 2005, počet stran: 224 s.