# Certified policy synthesis for general Markov decision processes: An application in building automation systems

> Research article (Performance Evaluation, 2017) · cited 24× · AI/ML

**Wikidata**: [openalex:W2759180318](https://www.wikidata.org/wiki/openalex:W2759180318)  
**Source**: https://4ort.xyz/entity/certified-policy-synthesis-for-general-markov-decision-processes-an-application-in-building-automation-systems