doc. RNDr. Tomáš Brázdil, Ph.D., MBA

2014

• 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

• Solving adversarial patrolling games with bounded error: (extended abstract)

  ABAFFY Michal BRÁZDIL Tomáš ŘEHÁK Vojtěch BOŠANSKÝ Branislav KUČERA Antonín KRČÁL Jan

  Článek ve sborníku

  Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), rok: 2014

• Verification of Markov Decision Processes using Learning Algorithms

  BRÁZDIL Tomáš CHATTERJEE Krishnendu CHMELÍK Martin FOREJT Vojtěch KŘETÍNSKÝ Jan KWIATKOWSKA Marta PARKER David UJMA Mateusz

  Článek ve sborníku

  Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, rok: 2014

• Zero-reachability in probabilistic multi-counter automata

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

  Článek ve sborníku

  Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), rok: 2014

2013

• Analyzing probabilistic pushdown automata

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

  Článek v odborném periodiku

  Formal Methods in System Design, rok: 2013, ročník: 43, vydání: 2, DOI

• 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 v odborném periodiku

  Information and Computation, rok: 2013, ročník: 222, vydání: January, DOI

• Continuous-Time Stochastic Games with Time-Bounded Reachability

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

  Článek v odborném periodiku

  Information and Computation, rok: 2013, ročník: 224, vydání: 1, DOI

• Determinacy in Stochastic Games with Unbounded Payoff Functions

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

  Článek ve sborníku

  Mathematical and Engineering Methods in Computer Science (MEMICS 2012), rok: 2013