TY  - RPRT
TI  - Scalable Verification of Probabilistic Networks
AU  - Steffen Smolka
AU  - Praveen Kumar
AU  - David M Kahn
AU  - Nate Foster
AU  - Justin Hsu
AU  - Dexter Kozen
AU  - Alexandra Silva
PY  - 2019
DO  - 10.1145/3314221.3314639
UR  - https://arxiv.org/abs/1904.08096
ID  - 1904.08096
ER  -