|
[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]
|