LTL to Büchi Automata Translation: Fast and More Deterministic.
Tomás BabiakMojmír KretínskýVojtech RehákJan StrejcekPublished in: TACAS (2012)
Keyphrases
- deterministic automata
- finite automata
- temporal logic
- automata theoretic
- finite state automaton
- turing machine
- model checking
- linear temporal logic
- machine translation
- cellular automata
- regular expressions
- probabilistic automata
- cross language information retrieval
- bounded model checking
- finite state automata
- lattice gas
- machine learning
- finite state
- finite state machines
- information gain
- statistical machine translation
- finite automaton
- grammatical inference
- genetic algorithm