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

2016

• Stability in Graphs and Games

  BRÁZDIL Tomáš FOREJT Vojtěch KUČERA Antonín NOVOTNÝ Petr

  Článek ve sborníku

  27th International Conference on Concurrency Theory, CONCUR 2016, rok: 2016

2015

• Cobra: A Tool for Solving General Deductive Games

  KLIMOŠ Miroslav KUČERA Antonín

  Článek ve sborníku

  Proceedings of 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2015), rok: 2015

• Long-Run Average Behaviour of Probabilistic Vector Addition Systems

  BRÁZDIL Tomáš KIEFER Stefan KUČERA Antonín NOVOTNÝ Petr

  Článek ve sborníku

  30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., rok: 2015

• MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives

  BRÁZDIL Tomáš KRISHNENDU Chatterjee FOREJT Vojtěch KUČERA Antonín

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings., rok: 2015

• On the Existence and Computability of Long-Run Average Properties in Probabilistic VASS

  KUČERA Antonín

  Článek ve sborníku

  Fundamentals of Computation Theory - 20th International Symposium, FCT 2015, Gdańsk, Poland, August 17-19, 2015, Proceedings., rok: 2015

• Runtime analysis of probabilistic programs with unbounded recursion

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

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2015, ročník: 81, vydání: 1, DOI

2014

• Branching-time model-checking of probabilistic pushdown automata

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

  Článek v odborném periodiku

  Journal of Computer and System Sciences, rok: 2014, ročník: 80, vydání: 1, DOI

• Efficient Analysis of Probabilistic Programs with an Unbounded Counter

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

  Článek v odborném periodiku

  Journal of the ACM, rok: 2014, ročník: 61, vydání: 6, DOI

• Markov Decision Processes with Multiple Long-Run Average Objectives

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

  Článek v odborném periodiku

  Logical Methods in Computer Science, rok: 2014, ročník: 10, vydání: 1, DOI

• Minimizing Running Costs in Consumption Systems

  BRÁZDIL Tomáš KLAŠKA David KUČERA Antonín NOVOTNÝ Petr

  Článek ve sborníku

  Computer Aided Verification, rok: 2014