Keyphrases
- higher dimensional
- timed automata
- model checking
- reachability analysis
- euclidean space
- theorem prover
- high dimensional
- arbitrary dimension
- low dimensional
- distance transform
- theorem proving
- real time systems
- first order logic
- temporal logic
- dimensionality reduction
- database systems
- inference rules
- metric space
- knowledge representation
- object recognition