The Pinocchio C++ library : A fast and flexible implementation of rigid body dynamics algorithms and their analytical derivatives | IEEE Conference Publication | IEEE Xplore