Keyphrases
- modal logic
- finite automata
- cellular automata
- regular expressions
- lattice gas
- knowledge compilation
- finite state
- probabilistic automata
- finite state machines
- automata theoretic
- turing machine
- tree automata
- support vector machine
- mobile robot
- artificial neural networks
- multi agent systems
- search algorithm
- computer vision
- finite state automaton
- data sets