Trajectory-based formal controller synthesis for multi-link robots with elastic joints | IEEE Conference Publication | IEEE Xplore