Tomas Brazdil

Identifiers

• name variant Tomas Brazdil 0.60 · backfill

Papers (4)

1. Long-Run Average Behaviour of Probabilistic Vector Addition Systems cs.LO · 2015 · author #1
2. Efficient Analysis of Probabilistic Programs with an Unbounded Counter cs.FL · 2011 · author #1
3. Runtime Analysis of Probabilistic Programs with Unbounded Recursion cs.LO · 2010 · author #1
4. Reachability Games on Extended Vector Addition Systems with States cs.GT · 2010 · author #1

Mentions

• 1505.02655 #1 · backfill · confidence 0.70 Tomas Brazdil
• 1102.2529 #1 · backfill · confidence 0.70 Tomas Brazdil
• 1007.1710 #1 · backfill · confidence 0.70 Tomas Brazdil
• 1002.2557 #1 · backfill · confidence 0.70 Tomas Brazdil

Frequent Coauthors

• Antonin Kucera 4 shared papers
• Stefan Kiefer 3 shared papers
• Ivana Hutarova Varekova 1 shared papers
• Petr Jancar 1 shared papers
• Petr Novotny 1 shared papers