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

  Article in Proceedings

  17th International Conference on Concurrency Theory, year: 2006

• Stochastic Games with Branching-Time Winning Objectives

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

  Article in Proceedings

  21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings, year: 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

  Workshop

  Year: 2005, type: Workshop

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

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

  Workshop

  Year: 2005, type: Workshop

• Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion

  BRÁZDIL Tomáš ESPARZA Javier KUČERA Antonín

  Article in Proceedings

  Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), year: 2005

• Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains

  BRÁZDIL Tomáš KUČERA Antonín

  Article in Proceedings

  25th International Conference on Foundations of Software Technology and Theoretical Computer Science, year: 2005

• Characteristic Patterns for LTL

  KUČERA Antonín STREJČEK Jan

  Article in Proceedings

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

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

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

  Article in Proceedings

  25th International Conference on Foundations of Software Technology and Theoretical Computer Science, year: 2005

• On the Decidability of Temporal Properties of Probabilistic Pushdown Automata

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

  Article in Proceedings

  Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005), year: 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

  Monograph

  Year: 2005, number of pages: 224 s.