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

2013

• Approximating the termination value of one-counter MDPs and stochastic games

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

  Recenzovaný odborný článek

  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

  Recenzovaný odborný článek

  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

  Stať ve sborníku

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

• On time-average limits in deterministic and stochastic Petri nets

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

  Stať ve sborníku

  ACM/SPEC International Conference on Performance Engineering, ICPE'13, rok: 2013

• Solvency Markov Decision Processes with Interest

  BRÁZDIL Tomáš CHEN Taolue FOREJT Vojtěch NOVOTNÝ Petr SIMAITIS Aistis

  Stať ve sborníku

  IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013), rok: 2013

• Trading Performance for Stability in Markov Decision Processes

  BRÁZDIL Tomáš CHATTERJEE Krishnendu FOREJT Vojtěch KUČERA Antonín

  Stať ve sborníku

  Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), rok: 2013

2012

• Efficient Controller Synthesis for Consumption Games with Multiple Resource Types

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

  Stať ve sborníku

  Computer Aided Verification - 24th International Conference, CAV 2012, rok: 2012

• Minimizing Expected Termination Time in One-Counter Markov Decision Processes

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

  Stať ve sborníku

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

• Space-efficient scheduling of stochastically generated tasks

  BRÁZDIL Tomáš ESPARZA Javier KIEFER Stefan LUTTENBERGER Michael

  Recenzovaný odborný článek

  Information and Computation, rok: 2012, ročník: 210, vydání: January, DOI

• Stabilization of Branching Queueing Networks

  BRÁZDIL Tomáš KIEFER Stefan

  Stať ve sborníku

  Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, rok: 2012