Control Based Motion Planning Exploiting Calculus of Variations and Rational Functions: A Formal Approach | IEEE Journals & Magazine | IEEE Xplore