Franti\v{s}ek Blahoudek

Identifiers

• name variant Franti\v{s}ek Blahoudek 0.60 · backfill

Papers (1)

1. Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment cs.FL · 2013 · author #2

Mentions

• 1306.4636 #2 · backfill · confidence 0.70 Franti\v{s}ek Blahoudek

Frequent Coauthors

• Jan Strej\v{c}ek 1 shared papers
• Mojm\'ir K\v{r}et\'insk\'y 1 shared papers
• Tom\'a\v{s} Babiak 1 shared papers