2011

• Problem Solving Tutor

  JARUŠEK Petr PELÁNEK Radek

  Software

  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

• Quantitative Multi-Objective Verification for Probabilistic Systems

  FOREJT Vojtěch KWIATKOWSKA Marta NORMAN Gethin PARKER David QU Hongyang

  Článek ve sborníku

  Proc. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11), rok: 2011

• 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.

• Rewriting in Varieties of Idempotent Semigroups

  KLÍMA Ondřej KORBELÁŘ Miroslav POLÁK Libor

  Článek ve sborníku

  Algebraic Informatics, rok: 2011

• 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

• Subhierarchies of the Second Level in the Straubing-Thrien Hierarchy

  KLÍMA Ondřej POLÁK Libor

  Článek v odborném periodiku

  International Journal of Algebra and Computation, rok: 2011, ročník: 21, vydání: 7, DOI

• Thread graphs, linear rank-width and their algorithmic applications

  GANIAN Robert

  Článek ve sborníku

  Combinatorial Algorithms 2010, 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