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

2012

• Playing Games with Counter Automata

  KUČERA Antonín

  Článek ve sborníku

  Reachability Problems, RP 2012, rok: 2012

• Stochastic game logic

  BAIER Christel BRÁZDIL Tomáš GRÖßER Marcus KUČERA Antonín

  Článek v odborném periodiku

  Acta informatica, rok: 2012, ročník: 49, vydání: 4, DOI

2011

• Approximating the Termination Value of One-Counter MDPs and Stochastic Games

  BRÁZDIL Tomáš BROŽEK Václav ETESSAMI Kousha KUČERA Antonín

  Článek ve sborníku

  Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), rok: 2011

• Efficient Analysis of Probabilistic Programs with an Unbounded Counter

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

  Článek ve sborníku

  Computer Aided Verification, 23rd International Conference, CAV 2011, rok: 2011

• Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata

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

  Článek ve sborníku

  HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, rok: 2011

• Qualitative Reachability in Stochastic BPA Games

  BRÁZDIL Tomáš BROŽEK Václav KUČERA Antonín OBDRŽÁLEK Jan

  Článek v odborném periodiku

  Information and Computation, rok: 2011, ročník: 209, vydání: 8

• Randomness: A Tool for Constructing and Analyzing Computer Programs

  KUČERA Antonín

  Kapitola v knize

  Randomness through Computation, rok: 2011, počet stran: 8 s.

• Runtime Analysis of Probabilistic Programs with Unbounded Recursion

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

  Článek ve sborníku

  Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), rok: 2011

• Turn-Based Stochastic Games

  KUČERA Antonín APT Krzysztof R. GRÄDEL Erich

  Kapitola v knize

  Lectures in Game Theory for Computer Scientists, rok: 2011, počet stran: 39 s.

• 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

  Článek ve sborníku

  Proceedings 26th Annual IEEE Symposium on Logic in Computer Science, rok: 2011