Verifying Safe Transitions between Dynamic Motion Primitives on Legged Robots.