Netter: Probabilistic, Stateful Network Models
Han Zhang
, 
Chi Zhang
, 
Arthur Azevedo de Amorim
, 
Yuvraj Agarwal
, 
Matt Fredrickson
, 
Limin Jia
VMCAI 2021 -- The 22nd International Conference on Verification, Model Checking, and Abstract Interpretation