Automatic planning of fine motions: Correctness and completeness | IEEE Conference Publication | IEEE Xplore