# Model Checking Algorithms for Markov Automata

> Research article (Technische Universität Berlin – Universitätsbibliothek, 2024) · cited 39× · AI/ML

**Wikidata**: [openalex:W2294647483](https://www.wikidata.org/wiki/openalex:W2294647483)  
**Source**: https://4ort.xyz/entity/model-checking-algorithms-for-markov-automata