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

2011

• 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

• 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

  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

• 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