Tom\'a\v{s} Babiak

Identifiers

• name variant Tom\'a\v{s} Babiak 0.60 · backfill

Papers (4)

1. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment cs.FL · 2013 · author #1
2. LTL to B\"uchi Automata Translation: Fast and More Deterministic cs.FL · 2012 · author #1
3. A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness cs.LO · 2010 · author #1
4. Almost Linear B\"uchi Automata cs.FL · 2009 · author #1

Mentions

• 1306.4636 #1 · backfill · confidence 0.70 Tom\'a\v{s} Babiak
• 1201.0682 #1 · backfill · confidence 0.70 Tom\'a\v{s} Babiak
• 1011.4214 #1 · backfill · confidence 0.70 Tom\'a\v{s} Babiak
• 0911.2033 #1 · backfill · confidence 0.70 Tom\'a\v{s} Babiak

Frequent Coauthors

• Jan Strej\v{c}ek 4 shared papers
• Mojm\'ir K\v{r}et\'insk\'y 3 shared papers
• Vojt\v{e}ch \v{R}eh\'ak 3 shared papers
• Franti\v{s}ek Blahoudek 1 shared papers