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

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

  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