Tom\'a\v{s} Br\'azdil
Identifiers
- name variant Tom\'a\v{s} Br\'azdil 0.60 · backfill
Papers (32)
- Weakly Supervised Multicenter Nancy Index Scoring in Ulcerative Colitis Using Foundation Models cs.CV · 2026 · author #4
- Explaining Digital Pathology Models via Clustering Activations cs.CV · 2025 · author #7
- Deciding Fast Termination for Probabilistic VASS with Nondeterminism cs.FL · 2019 · author #1
- Strategy Representation by Decision Trees with Linear Classifiers cs.LO · 2019 · author #2
- Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes cs.LO · 2018 · author #2
- Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment cs.AI · 2018 · author #1
- Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS cs.LO · 2018 · author #1
- Strategy Representation by Decision Trees in Reactive Synthesis cs.LO · 2018 · author #1
- Efficient Algorithms for Checking Fast Termination in VASS cs.LO · 2017 · author #1
- Optimizing the Expected Mean Payoff in Energy Markov Decision Processes cs.LO · 2016 · author #1
- Stability in Graphs and Games cs.LO · 2016 · author #1
- Stochastic Shortest Path with Energy Constraints in POMDPs cs.AI · 2016 · author #1
- Strategy Synthesis in Adversarial Patrolling Games cs.GT · 2015 · author #1
- Counterexample Explanation by Learning Small Strategies in Markov Decision Processes cs.LO · 2015 · author #1
- MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives cs.AI · 2015 · author #1
- Optimizing Performance of Continuous-Time Stochastic Systems using Timeout Synthesis cs.PF · 2014 · author #1
- Minimizing Running Costs in Consumption Systems cs.SY · 2014 · author #1
- Verification of Markov Decision Processes using Learning Algorithms cs.LO · 2014 · author #1
- Zero-Reachability in Probabilistic Multi-Counter Automata cs.FL · 2014 · author #1
- Solvency Markov Decision Processes with Interest cs.CE · 2013 · author #1
- Trading Performance for Stability in Markov Decision Processes cs.SY · 2013 · author #1
- Determinacy in Stochastic Games with Unbounded Payoff Functions cs.GT · 2012 · author #1
- Minimizing Expected Termination Time in One-Counter Markov Decision Processes cs.FL · 2012 · author #1
- Efficient Controller Synthesis for Consumption Games with Multiple Resource Types cs.GT · 2012 · author #1
- Stabilization of Branching Queueing Networks cs.PF · 2011 · author #1
- Fixed-delay Events in Generalized Semi-Markov Processes Revisited cs.SY · 2011 · author #1
- Approximating the Termination Value of One-Counter MDPs and Stochastic Games cs.GT · 2011 · author #1
- Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata cs.SY · 2011 · author #1
- One-Counter Stochastic Games cs.GT · 2010 · author #1
- Space-efficient scheduling of stochastically generated tasks cs.PF · 2010 · author #1
- Qualitative Reachability in Stochastic BPA Games cs.GT · 2010 · author #1
- One-Counter Markov Decision Processes cs.GT · 2009 · author #1
Mentions
- 1407.4777 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1402.4995 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1402.2967 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1401.6840 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1310.3119 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 2511.14558 #7 · arxiv_oai · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1305.4103 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1208.1639 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1205.1473 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1202.0796 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1112.1041 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1106.1424 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1104.4978 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1101.4204 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1009.5636 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1004.4286 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 1003.0118 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
- 0904.2511 #1 · backfill · confidence 0.70 Tom\'a\v{s} Br\'azdil
Frequent Coauthors
- Anton\'in Ku\v{c}era 18 shared papers
- Petr Novotn\'y 13 shared papers
- Krishnendu Chatterjee 11 shared papers
- Jan K\v{r}et\'insk\'y 7 shared papers
- Vojt\v{e}ch Forejt 5 shared papers
- Vojt\v{e}ch \v{R}eh\'ak 5 shared papers
- V\'aclav Bro\v{z}ek 4 shared papers
- Dominik Velan 3 shared papers
- Jan Kr\v{c}\'al 3 shared papers
- Kousha Etessami 3 shared papers
- Martin Chmel\'ik 3 shared papers
- Stefan Kiefer 3 shared papers
- Dominik Wojtczak 2 shared papers
- Jan Obdr\v{z}\'alek 2 shared papers
- Pranav Ashok 2 shared papers
- Viktor Toman 2 shared papers
- V\'it Musil 2 shared papers
- Adam Bajger 1 shared papers
- Adam Kuku\v{c}ka 1 shared papers
- Aistis Simaitis 1 shared papers