Legged locomotion over deformable terrain, formalized

The paper gives a controller with stability guarantees on sand and loose gravel.