A Verified and Compositional Translation of LTL to Deterministic Rabin Automata.
Julian BrunnerBenedikt SeidlSalomon SickertPublished in: ITP (2019)
Keyphrases
- deterministic automata
- finite automata
- finite state automaton
- automata theoretic
- temporal logic
- model checking
- machine translation
- probabilistic automata
- cellular automata
- turing machine
- finite state
- finite state machines
- database
- machine translation system
- linear temporal logic
- tree automata
- grammatical inference
- query translation
- finite state automata
- statistical machine translation
- bounded model checking
- finite automaton
- markov chain
- neural network