Contact analysis and verification in a 2D environment with uncertainties.

Klaus A. Hörmann Thomas Hübner Michael Spreng

Published in: J. Intell. Robotic Syst. (1993)

Keyphrases

data analysis
statistical analysis
real time
quantitative analysis
database
databases
decision making
knowledge base
image processing
image analysis
environmental conditions
formal analysis
formal verification