From States to Transitions: Improving Translation of LTL Formulae to Büchi Automata.
Dimitra GiannakopoulouFlavio LerdaPublished in: FORTE (2002)
Keyphrases
- temporal logic
- deterministic automata
- finite state machines
- state transitions
- model checking
- automata theoretic
- state transition
- finite automata
- finite automaton
- state space
- regular expressions
- deterministic finite automata
- cellular automata
- machine translation
- state variables
- search space
- initial state
- statistical machine translation
- genetic algorithm
- finite state automaton
- neural network
- data sets