A Direct Translation from LTL with Past to Deterministic Rabin Automata.
Shaun AzzopardiDavid LidellNir PitermanPublished in: MFCS (2024)
Keyphrases
- deterministic automata
- finite automata
- temporal logic
- automata theoretic
- model checking
- turing machine
- finite state automaton
- finite state
- query translation
- probabilistic automata
- cross language information retrieval
- cellular automata
- finite state machines
- linear temporal logic
- black box
- machine translation
- statistical machine translation