Leveraging Cone Double Description for Multi-contact Stability of Humanoids with Applications to Statics and Dynamics | Synapse