# Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach

> Research article (IEEE Transactions on Automatic Control, 2023) · cited 29× · AI/ML

**Wikidata**: [openalex:W4323914099](https://www.wikidata.org/wiki/openalex:W4323914099)  
**Source**: https://4ort.xyz/entity/formal-verification-of-unknown-discrete-and-continuous-time-systems-a-data-driven-approach