A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies.

Michael S. Branicky Siddharth R. Chhatpar A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies. 120-133 2002 conf/hybrid/2002 HSCC http://dx.doi.org/10.1007/3-540-45873-5_12 db/conf/hybrid/hscc2002.html#BranickyC02