Appendix A: Proofs Associated with Chapter 3 | part of Hybrid Control and Motion Planning of Dynamical Legged Locomotion | Wiley-IEEE Press books | IEEE Xplore