Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- real time systems
- computer graphics
- first order logic
- temporal logic
- hidden markov models
- neural network
- behavioral model
- image segmentation
- multi agent systems
- medical images
- learning algorithm
- human behavior
- behavioral patterns
- machine learning