# Automatic Inference of Finite-State Plant Models From Traces and Temporal Properties

> Research article (IEEE Transactions on Industrial Informatics, 2017) · cited 38× · AI/ML

**Wikidata**: [openalex:W2588494934](https://www.wikidata.org/wiki/openalex:W2588494934)  
**Source**: https://4ort.xyz/entity/automatic-inference-of-finite-state-plant-models-from-traces-and-temporal-properties