From LTL Formulae to Büchi Automata: A Direct Translation Using On-the-Fly De-Generalization.
Lai-Xiang ShanZheng QinKaiping XuXu ChenZhipeng LiPublished in: APSEC (2015)
Keyphrases
- deterministic automata
- temporal logic
- automata theoretic
- model checking
- finite automata
- machine translation
- linear temporal logic
- finite state
- cellular automata
- learning algorithm
- modal logic
- lattice gas
- probabilistic automata
- finite state machines
- regular expressions
- data sets
- pattern matching
- hidden markov models
- information retrieval
- machine learning