·
3 commits
to mc-decision
since this release
This is the artifact associated with the following paper:
Steffen Smolka, Praveen Kumar, David M Kahn, Nate Foster, Justin
Hsu, Dexter Kozen, and Alexandra Silva. 2019. Scalable Verification
of Probabilistic Networks. In PLDI ’19.
https://doi.org/10.1145/3314221.3314639.
You can obtain the full paper here here.