# Prioritized Fault Recovery Strategies for Multi-Access Edge Computing Using Probabilistic Model Checking

> Research article (IEEE Transactions on Dependable and Secure Computing, 2022) · cited 35× · AI/ML

**Wikidata**: [openalex:W4205766200](https://www.wikidata.org/wiki/openalex:W4205766200)  
**Source**: https://4ort.xyz/entity/prioritized-fault-recovery-strategies-for-multi-access-edge-computing-using-probabilistic-model-checking