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

  Article in Proceedings

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

2015

• Cobra: A Tool for Solving General Deductive Games

  KLIMOŠ Miroslav KUČERA Antonín

  Article in Proceedings

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

• Long-Run Average Behaviour of Probabilistic Vector Addition Systems

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

  Article in Proceedings

  30th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2015, Kyoto, Japan, July 6-10, 2015., year: 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

  Article in Proceedings

  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., year: 2015

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

  KUČERA Antonín

  Article in Proceedings

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

• Runtime analysis of probabilistic programs with unbounded recursion

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

  Article in Periodical

  Journal of Computer and System Sciences, year: 2015, volume: 81, edition: 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

  Article in Periodical

  Journal of Computer and System Sciences, year: 2014, volume: 80, edition: 1, DOI

• Efficient Analysis of Probabilistic Programs with an Unbounded Counter

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

  Article in Periodical

  Journal of the ACM, year: 2014, volume: 61, edition: 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

  Article in Periodical

  Logical Methods in Computer Science, year: 2014, volume: 10, edition: 1, DOI

• Minimizing Running Costs in Consumption Systems

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

  Article in Proceedings

  Computer Aided Verification, year: 2014