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

2010

• 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

  Year: 2010, type:

• 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

• Reachability Games on Extended Vector Addition Systems with States

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

  Article in Proceedings

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

• Reachability Problems

  KUČERA Antonín POTAPOV Igor

  Year: 2010, type:

• Stochastic Real-Time Games with Qualitative Timed Automata Objectives

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

  Article in Proceedings

  CONCUR 2010 - Concurrency Theory, year: 2010

2009

• Continuous-Time Stochastic Games with Time-Bounded Reachability

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

  Article in Proceedings

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), year: 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: