Keyphrases
- finite state
- model checking
- finite automata
- cellular automata
- tree automata
- finite state machines
- test bed
- simulation model
- regular expressions
- evolutionary robotics
- probabilistic automata
- image segmentation
- information systems
- xml documents
- evolutionary algorithm
- feature space
- three dimensional
- case study
- finite state automata
- database