# <italic>IoTRiskAnalyzer</italic>: A Probabilistic Model Checking Based Framework for Formal Risk Analytics of the Internet of Things

> Research article (IEEE Access, 2017) · cited 53× · AI/ML

**Wikidata**: [openalex:W2607806769](https://www.wikidata.org/wiki/openalex:W2607806769)  
**Source**: https://4ort.xyz/entity/lt-italic-gt-iotriskanalyzer-lt-italic-gt-a-probabilistic-model-checking-based-framework-for-formal-risk-analytics-of-th