Algorithmic control of walking | Synapse