Keyphrases
- timed automata
- model checking
- reachability analysis
- distance measure
- theorem prover
- artificial intelligence
- real time systems
- first order logic
- real time
- software development
- distance function
- neural network
- inversely proportional
- distance transform
- distance metric
- distance computation
- theorem proving
- real world
- euclidean distance
- low cost