# Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System

> Research article (Information Processing Letters, 2016) · cited 16× · AI/ML

**Wikidata**: [openalex:W2258230469](https://www.wikidata.org/wiki/openalex:W2258230469)  
**Source**: https://4ort.xyz/entity/verifying-safety-properties-of-a-nonlinear-control-by-interactive-theorem-proving-with-the-prototype-verification-system