Keyphrases
- higher dimensional
- timed automata
- model checking
- reachability analysis
- theorem prover
- euclidean space
- distance transform
- arbitrary dimension
- first order logic
- theorem proving
- low dimensional
- real time systems
- high dimensional
- temporal logic
- machine learning
- image representation
- inference rules
- d objects
- multiresolution
- image processing