# Applying Probabilistic Model Checking to the Behavior Guidance and Abnormality Detection for A-MCI Patients under Wireless Sensor Network

> Research article (ACM Transactions on Sensor Networks, 2022) · cited 31× · AI/ML

**Wikidata**: [openalex:W4220690256](https://www.wikidata.org/wiki/openalex:W4220690256)  
**Source**: https://4ort.xyz/entity/applying-probabilistic-model-checking-to-the-behavior-guidance-and-abnormality-detection-for-a-mci-patients-under-wirele