Checking Finite Traces using Alternating Automata.
Bernd FinkbeinerHenny SipmaPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- finite automata
- cellular automata
- probabilistic automata
- tree automata
- unit length
- information retrieval
- finite number
- equational theories
- lattice gas
- pattern matching
- finite state
- regular expressions
- execution traces
- databases
- expressive power
- reinforcement learning
- website
- information systems
- genetic algorithm
- neural network