Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction.
Andreas MorgensternKlaus SchneiderSven LambertiPublished in: MBMV (2008)
Keyphrases
- deterministic automata
- finite automata
- linear time temporal logic
- finite state automaton
- model checking
- cellular automata
- black box
- regular expressions
- generation process
- database
- automatically generating
- generation method
- turing machine
- construction process
- temporal logic
- finite state
- deterministic finite automata
- linear temporal logic
- lattice gas
- pattern matching
- neural network