# First steps toward formal controller synthesis for bipedal robots with experimental implementation

> Research article (Nonlinear Analysis Hybrid Systems, 2017) · cited 19× · AI/ML

**Wikidata**: [openalex:W2588566816](https://www.wikidata.org/wiki/openalex:W2588566816)  
**Source**: https://4ort.xyz/entity/first-steps-toward-formal-controller-synthesis-for-bipedal-robots-with-experimental-implementation