One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata.
Javier EsparzaJan KretínskýSalomon SickertPublished in: LICS (2018)
Keyphrases
- temporal logic
- automata theoretic
- deterministic automata
- model checking
- finite automata
- association rules
- machine translation
- cellular automata
- classification rules
- rule learning
- rule sets
- linear temporal logic
- cross language information retrieval
- finite state
- query translation
- rule induction
- finite state machines
- unified model
- rule discovery
- target language
- search algorithm
- production rules
- modal logic
- natural language