TY  - RPRT
TI  - Out of Control: Reducing Probabilistic Models by Control-State Elimination
AU  - Tobias Winkler
AU  - Johannes Lehmann
AU  - Joost-Pieter Katoen
PY  - 2021
UR  - https://arxiv.org/abs/2011.00983
ID  - 2011.00983
ER  -