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

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

  Paper 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, DOI

• Optimizing Performance of Continuous-Time Stochastic Systems Using Timeout Synthesis

  BRÁZDIL Tomáš KORENČIAK Ľuboš KRČÁL Jan NOVOTNÝ Petr ŘEHÁK Vojtěch

  Paper in proceedings

  Quantitative Evaluation of Systems, year: 2015, DOI

• Runtime analysis of probabilistic programs with unbounded recursion

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

  Peer-reviewed scientific article

  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

  Peer-reviewed scientific article

  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

  Peer-reviewed scientific article

  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

  Peer-reviewed scientific article

  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

  Paper in proceedings

  Computer Aided Verification, year: 2014, DOI

• 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

  Paper in proceedings

  Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), year: 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

  Paper in proceedings

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

• Zero-reachability in probabilistic multi-counter automata

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

  Paper in proceedings

  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), year: 2014, DOI