One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.
Javier EsparzaJan KretínskýSalomon SickertPublished in: CoRR (2018)
Keyphrases
- deterministic automata
- finite automata
- temporal logic
- automata theoretic
- association rules
- probabilistic automata
- model checking
- regular expressions
- machine translation
- cellular automata
- information retrieval
- unified model
- lattice gas
- bounded model checking
- finite state automata
- decision trees
- neural network
- data mining
- linear temporal logic
- von neumann
- active databases
- query translation
- data sets
- search algorithm
- domain specific
- pattern matching