First-Order vs. Second-Order Encodings for \textsc ltl_f -to-Automata Translation.
Shufang ZhuGeguang PuMoshe Y. VardiPublished in: TAMC (2019)
Keyphrases
- linear temporal logic
- temporal logic
- higher order
- automata theoretic
- deterministic automata
- model checking
- finite automata
- bounded model checking
- first order logic
- query translation
- machine translation
- cellular automata
- high order
- probabilistic automata
- finite state machines
- finite state
- regular expressions
- modal logic
- context free
- tree automata
- orders of magnitude
- planning problems
- data model