# Formal Verification of Local and Global Observability of Polynomial Systems Using Quantifier Elimination

> Research article (2019 23rd International Conference on System Theory, Control and Computing (ICSTCC), 2019) · cited 14× · AI/ML

**Wikidata**: [openalex:W2982388944](https://www.wikidata.org/wiki/openalex:W2982388944)  
**Source**: https://4ort.xyz/entity/formal-verification-of-local-and-global-observability-of-polynomial-systems-using-quantifier-elimination