TY  - RPRT
TI  - Model Checking Markov Chains as Distribution Transformers
AU  - Rajab Aghamov
AU  - Christel Baier
AU  - Toghrul Karimov
AU  - Joris Nieuwveld
AU  - Joël Ouaknine
AU  - Jakob Piribauer
AU  - Mihir Vahanwala
PY  - 2024
UR  - https://arxiv.org/abs/2406.15087
ID  - 2406.15087
ER  -