[ZZdA+21] Han Zhang, Chi Zhang, Arthur Azevedo de Amorim, Yuvraj Agarwal, Matt Fredrikson and Limin Jia. Netter: Probabilistic, Stateful Network Models. In Proc. 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'21). 2021. [Presents a tool for analysis of probabilistic network models, using PRISM as a backend solver.]
Links: [Google] [Google Scholar]