Statistics
Publications
1
Citations
39
H-Index
1
Active since
2012
Tomáš Babiak is an author specializing in finite-state machines, computing, and finite automata theory.
Publications per year
2012–2012
1
1
LTL to Büchi Automata Translation: Fast and More Deterministic
Tomáš Babiak, Mojmír Křetínský, Vojtěch Řehák et al. · arXiv (Cornell University) · 2012 · 39 citations · Full text
1–1 of 1