# Optimal Task Scheduling in a Flexible Manufacturing System using Model Checking

> Research article (IFAC-PapersOnLine, 2018) · cited 14× · AI/ML

**Wikidata**: [openalex:W2882996654](https://www.wikidata.org/wiki/openalex:W2882996654)  
**Source**: https://4ort.xyz/entity/optimal-task-scheduling-in-a-flexible-manufacturing-system-using-model-checking