Converting Linear Temporal Logic to Deterministic (Generalised) Rabin Automata.
Salomon SickertPublished in: Arch. Formal Proofs (2015)
Keyphrases
- linear temporal logic
- deterministic automata
- temporal logic
- finite state automaton
- model checking
- finite automata
- turing machine
- bounded model checking
- cellular automata
- finite state
- tree automata
- deterministic finite automata
- state space
- regular expressions
- graph partitioning
- linear time temporal logic
- machine learning
- monte carlo
- domain specific
- evolutionary algorithm