Mojm\'ir K\v{r}et\'insk\'y
Identifiers
- name variant Mojm\'ir K\v{r}et\'insk\'y 0.60 · backfill
Papers (3)
- Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment cs.FL · 2013 · author #3
- LTL to B\"uchi Automata Translation: Fast and More Deterministic cs.FL · 2012 · author #2
- A Short Story of a Subtle Error in LTL Formulas Reduction and Divine Incorrectness cs.LO · 2010 · author #2
Mentions
Frequent Coauthors
- Jan Strej\v{c}ek 3 shared papers
- Tom\'a\v{s} Babiak 3 shared papers
- Vojt\v{e}ch \v{R}eh\'ak 2 shared papers
- Franti\v{s}ek Blahoudek 1 shared papers