Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- first order logic
- theorem proving
- distance measure
- euclidean distance
- computer vision
- distance function
- distance measurement
- real time systems
- temporal logic
- data sets
- high dimensional
- expert systems
- multi agent
- multiscale
- machine learning
- data mining
- neural network
- databases