Keyphrases
- cellular automata
- model checking
- finite automata
- finite state
- timed automata
- symbolic representation
- real world
- symbolic description
- symbolic reasoning
- finite state machines
- low level
- neural network
- bayesian networks
- high level
- regular expressions
- e learning
- decision making
- computer vision
- search engine
- symbolic data
- finite state automata
- artificial intelligence
- probabilistic automata
- data sets