LTL with the Freeze Quantifier and Register Automata.
Stéphane DemriRanko LazicPublished in: LICS (2006)
Keyphrases
- deterministic automata
- finite automata
- model checking
- temporal logic
- linear temporal logic
- finite state machines
- automata theoretic
- finite state
- regular expressions
- timed automata
- quantifier elimination
- cellular automata
- probabilistic automata
- linear time temporal logic
- bounded model checking
- fuzzy measures
- tree automata
- artificial intelligence
- markov chain
- fuzzy logic
- finite automaton
- lattice gas
- neural network