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

2011

• Randomness: A Tool for Constructing and Analyzing Computer Programs

  KUČERA Antonín

  Chapter of a book

  Randomness through Computation, year: 2011, number of pages: 8 s.

• Runtime Analysis of Probabilistic Programs with Unbounded Recursion

  BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín HUTAŘOVÁ VAŘEKOVÁ Ivana

  Article in Proceedings

  Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011

• Turn-Based Stochastic Games

  KUČERA Antonín APT Krzysztof R. GRÄDEL Erich

  Chapter of a book

  Lectures in Game Theory for Computer Scientists, year: 2011, number of pages: 39 s.

• Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

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

  Article in Proceedings

  Proceedings 26th Annual IEEE Symposium on Logic in Computer Science, year: 2011

2010

• 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010)

  HLINĚNÝ Petr KUČERA Antonín

  Conference

  Year: 2010, type: Conference

• 4th International Workshop on Reachability Problems

  KUČERA Antonín POTAPOV Igor

  Workshop

  Year: 2010, type: Workshop

• Effective Analysis of Infinite State Stochastic Processes and Games

  KUČERA Antonín ESPARZA Javier SPANFELNER Bernd GRUMBERG Orna

  Chapter of a book

  Logics and Languages for Reliability and Security, year: 2010, number of pages: 25 s.

• Mathematical Foundations of Computer Science 2010

  HLINĚNÝ Petr KUČERA Antonín

  Editing of thematic compilation, editing of monothematic issue of profesional journal

  Year: 2010, type: Editing of thematic compilation, editing of monothematic issue of profesional journal

• On the Complexity of Checking Semantic Equivalences between Pushdown Processes and Finite-state Processes

  KUČERA Antonín MAYR Richard

  Article in Periodical

  Information and Computation, year: 2010, volume: 208, edition: February

• One-Counter Markov Decision Processes

  BRÁZDIL Tomáš BROŽEK Václav ETESSAMI Kousha KUČERA Antonín WOJTCZAK Dominik

  Article in Proceedings

  Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, year: 2010