# Towards formal proofs of feedback control theory

> Research article (2017 21st International Conference on System Theory, Control and Computing (ICSTCC), 2017) · cited 15× · AI/ML

**Wikidata**: [openalex:W2768544882](https://www.wikidata.org/wiki/openalex:W2768544882)  
**Source**: https://4ort.xyz/entity/towards-formal-proofs-of-feedback-control-theory