Manipulation and propagation of uncertainty and verification of applicability of actions in assembly tasks | IEEE Journals & Magazine | IEEE Xplore