Keyphrases
- timed automata
- model checking
- finite state machines
- temporal logic
- finite state
- theorem prover
- petri net
- databases
- theorem proving
- cellular automata
- first order logic
- regular expressions
- neural network
- finite automata
- matching algorithm
- face recognition
- multimedia
- machine learning
- discrete event
- real time
- probabilistic automata