Aprendiendo locomoción cuadrúpeda usando simulación diferenciable | Synapse