# Towards Formal Evaluation and Verification of Probabilistic Design

> Research article (IEEE Transactions on Computers, 2018) · cited 12× · AI/ML

**Wikidata**: [openalex:W2790447789](https://www.wikidata.org/wiki/openalex:W2790447789)  
**Source**: https://4ort.xyz/entity/towards-formal-evaluation-and-verification-of-probabilistic-design