Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics | IEEE Conference Publication | IEEE Xplore