Tomas Brazdil
Identifiers
- name variant Tomas Brazdil 0.60 · backfill
Papers (4)
- Long-Run Average Behaviour of Probabilistic Vector Addition Systems cs.LO · 2015 · author #1
- Efficient Analysis of Probabilistic Programs with an Unbounded Counter cs.FL · 2011 · author #1
- Runtime Analysis of Probabilistic Programs with Unbounded Recursion cs.LO · 2010 · author #1
- Reachability Games on Extended Vector Addition Systems with States cs.GT · 2010 · author #1
Mentions
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