Rabinizer 4: From LTL to Your Favourite Deterministic Automaton.
Jan KretínskýTobias MeggendorferSalomon SickertChristopher ZieglerPublished in: CAV (1) (2018)
Keyphrases
- deterministic automata
- linear time temporal logic
- finite automata
- deterministic finite automata
- deterministic finite automaton
- finite state automaton
- model checking
- turing machine
- temporal logic
- linear temporal logic
- finite automaton
- search algorithm
- bounded model checking
- finite state automata
- databases
- finite state machines
- regular expressions
- tree automata
- state space
- information systems
- lower bound
- decision trees
- real world