39 citations · 42 across the 3 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2013★ 3 cited
Effective Translation of LTL to Deterministic Rabin Automata: Beyond the (F,G)-Fragment
Tomáš Babiak, František Blahoudek, Mojmír Křetínský +1
Some applications of linear temporal logic (LTL) require to translate formulae of the logic to deterministic omega-automata. There are currently two translators producing determini…
cs.FL2012★ 39 cited
LTL to Büchi Automata Translation: Fast and More Deterministic
Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák +1
We introduce improvements in the algorithm by Gastin and Oddoux translating LTL formulae into Büchi automata via very weak alternating co-Büchi automata and generalized Büchi autom…