Antonin Kucera
Identifiers
- name variant Antonin Kucera 0.60 · backfill
Papers (9)
- Long-Run Average Behaviour of Probabilistic Vector Addition Systems cs.LO · 2015 · author #3
- Strategy Synthesis for General Deductive Games Based on SAT Solving cs.AI · 2014 · author #2
- Efficient Analysis of Probabilistic Programs with an Unbounded Counter cs.FL · 2011 · author #3
- Runtime Analysis of Probabilistic Programs with Unbounded Recursion cs.LO · 2010 · author #3
- Reachability Games on Extended Vector Addition Systems with States cs.GT · 2010 · author #3
- Low upper bounds of ideals math.LO · 2007 · author #1
- Turing Incomparability in Scott Sets math.LO · 2006 · author #1
- Model Checking Probabilistic Pushdown Automata cs.LO · 2005 · author #2
- Equivalence-Checking on Infinite-State Systems: Techniques and Results cs.LO · 2005 · author #1
Mentions
Frequent Coauthors
- Tomas Brazdil 4 shared papers
- Stefan Kiefer 3 shared papers
- Petr Jancar 2 shared papers
- Theodore A. Slaman 2 shared papers
- Ivana Hutarova Varekova 1 shared papers
- Javier Esparza 1 shared papers
- Miroslav Klimos 1 shared papers
- Petr Novotny 1 shared papers
- Richard Mayr 1 shared papers