A Direct Translation from LTL with Past to Deterministic Rabin Automata.
Shaun AzzopardiDavid LidellNir PitermanPublished in: CoRR (2024)
Keyphrases
- deterministic automata
- finite automata
- finite state automaton
- model checking
- turing machine
- deterministic finite automata
- cellular automata
- finite state
- machine translation
- temporal logic
- automata theoretic
- probabilistic automata
- machine translation system
- black box
- bounded model checking
- dynamic programming
- real world
- database
- default logic
- regular expressions
- randomized algorithms
- markov chain
- domain specific
- finite automaton
- lattice gas