Precise Optimization of Robotic Bipedal Walking Using Hamiltonian Dynamics | IEEE Conference Publication | IEEE Xplore