# PAC Model Checking of Black-Box Continuous-Time Dynamical Systems

> Research article (IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020) · cited 18× · AI/ML

**Wikidata**: [openalex:W3091405037](https://www.wikidata.org/wiki/openalex:W3091405037)  
**Source**: https://4ort.xyz/entity/pac-model-checking-of-black-box-continuous-time-dynamical-systems