Keyphrases
- higher dimensional
- transition systems
- model checking
- concurrent systems
- temporal logic
- finite state
- euclidean space
- control flow
- practical reasoning
- high dimensional
- distance transform
- low dimensional
- formal verification
- model checker
- reactive systems
- image processing
- multi dimensional
- search space
- object recognition