Tomǎš Brázdil

One-Counter Stochastic Games

Tomǎš Brázdil, Václav Brožek, Kousha Etessami · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 46 citations · Full text

Social Sciences, Computer Science, Mathematics +14

Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

Tomǎš Brázdil, Václav Brožek, Krishnendu Chatterjee et al. · arXiv (Cornell University) · 2011 · 46 citations · Full text

Business, Decision Sciences, Mathematics +14

Markov Decision Processes with Multiple Long-run Average Objectives

Tomǎš Brázdil, Václav Brožek, Krishnendu Chatterjee et al. · Logical Methods in Computer Science · 2014 · 46 citations · Full text

Business, Decision Sciences, Mathematics +15

Analyzing probabilistic pushdown automata

Tomǎš Brázdil, Javier Esparza, Stefan Kiefer et al. · Formal Methods in System Design · 2012 · 45 citations · Full text

Computing, Computer Engineering, Computer Science +12

The Satisfiability Problem for Probabilistic CTL

Tomǎš Brázdil, Vojtěch Forejt, Jan Křetínský et al. · 2008 · 43 citations

Computing, Computer Science, Formal Methods +13