A Unified Translation of Linear Temporal Logic to ω-Automata.
Javier EsparzaJan KretínskýSalomon SickertPublished in: J. ACM (2020)
Keyphrases
- linear temporal logic
- temporal logic
- automata theoretic
- model checking
- bounded model checking
- deterministic automata
- finite state
- machine translation
- concurrent systems
- finite automata
- cellular automata
- search algorithm
- cross language information retrieval
- formal specification
- model checker
- linear time temporal logic
- search space