# Applying Probabilistic Model Checking to Financial Production Risk Evaluation and Control: A Case Study of Alibaba’s Yu’e Bao

> Research article (IEEE Transactions on Computational Social Systems, 2018) · cited 62× · AI/ML

**Wikidata**: [openalex:W2891182845](https://www.wikidata.org/wiki/openalex:W2891182845)  
**Source**: https://4ort.xyz/entity/applying-probabilistic-model-checking-to-financial-production-risk-evaluation-and-control-a-case-study-of-alibabas-yue-b