Keyphrases
- timed automata
- finite state machines
- model checking
- petri net
- theorem prover
- regular expressions
- cellular automata
- theorem proving
- finite state
- computer vision
- finite state automata
- lattice gas
- discrete event
- finite automata
- tree automata
- probabilistic automata
- multimedia
- first order logic
- temporal logic
- regular languages
- query processing
- multi agent systems
- decision trees
- formal language theory