Antonin Kucera

Identifiers

• name variant Antonin Kucera 0.60 · backfill

Papers (9)

1. Long-Run Average Behaviour of Probabilistic Vector Addition Systems cs.LO · 2015 · author #3
2. Strategy Synthesis for General Deductive Games Based on SAT Solving cs.AI · 2014 · author #2
3. Efficient Analysis of Probabilistic Programs with an Unbounded Counter cs.FL · 2011 · author #3
4. Runtime Analysis of Probabilistic Programs with Unbounded Recursion cs.LO · 2010 · author #3
5. Reachability Games on Extended Vector Addition Systems with States cs.GT · 2010 · author #3
6. Low upper bounds of ideals math.LO · 2007 · author #1
7. Turing Incomparability in Scott Sets math.LO · 2006 · author #1
8. Model Checking Probabilistic Pushdown Automata cs.LO · 2005 · author #2
9. Equivalence-Checking on Infinite-State Systems: Techniques and Results cs.LO · 2005 · author #1

Mentions

• 1407.3926 #2 · backfill · confidence 0.70 Antonin Kucera
• 1102.2529 #3 · backfill · confidence 0.70 Antonin Kucera
• 1007.1710 #3 · backfill · confidence 0.70 Antonin Kucera
• 1002.2557 #3 · backfill · confidence 0.70 Antonin Kucera
• 0708.3793 #1 · backfill · confidence 0.70 Antonin Kucera

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