# Counterexample-guided simulation framework for formal verification of flexible automation systems

> Research article (2015 IEEE 13th International Conference on Industrial Informatics (INDIN), 2015) · cited 22× · AI/ML

**Wikidata**: [openalex:W1642772123](https://www.wikidata.org/wiki/openalex:W1642772123)  
**Source**: https://4ort.xyz/entity/counterexample-guided-simulation-framework-for-formal-verification-of-flexible-automation-systems