# Bridging the Gap Between Probabilistic Model Checking and Probabilistic Planning: Survey, Compilations, and Empirical Comparison

> Research article (Journal of Artificial Intelligence Research, 2020) · cited 10× · AI/ML

**Wikidata**: [openalex:W3027039943](https://www.wikidata.org/wiki/openalex:W3027039943)  
**Source**: https://4ort.xyz/entity/bridging-the-gap-between-probabilistic-model-checking-and-probabilistic-planning-survey-compilations-and-empirical-compa