LTL to Büchi Automata Translation: Fast and More Deterministic
Tomás BabiakMojmír KretínskýVojtech RehákJan StrejcekPublished in: CoRR (2012)
Keyphrases
- deterministic automata
- finite automata
- temporal logic
- automata theoretic
- finite state automaton
- turing machine
- model checking
- machine translation
- finite state
- probabilistic automata
- finite state machines
- data sets
- linear temporal logic
- query translation
- regular expressions
- deterministic finite automata
- bounded model checking
- cellular automata
- information gain
- cross language
- statistical machine translation
- black box
- natural language processing
- neural network