Expanding motion programs under input constraints | IEEE Conference Publication | IEEE Xplore