Direct translation of LTL formulas to Büchi automata.
Xinye LuGuiming LuoPublished in: ICCI*CC (2012)
Keyphrases
- deterministic automata
- linear time temporal logic
- finite automata
- temporal logic
- automata theoretic
- model checking
- cellular automata
- machine translation
- query translation
- probabilistic automata
- bounded model checking
- knowledge base
- text categorization
- cross language information retrieval
- finite state
- statistical machine translation