Home /Research /A Computational Framework for the Verification and Synthesis of Force-Guided Robotic Assembly Strategies
OTHER

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

Michael S. Branicky, Siddharth R. Chhatpar

Year
2002
Citations
8

Keywords

Computer scienceParameterized complexityHybrid systemController (irrigation)AutomatonSupervisorSet (abstract data type)State spaceSoftwareRobot

Related papers

Browse all OTHER papers