TY  - RPRT
TI  - Weighted NetKAT: A Programming Language For Quantitative Network Verification
AU  - Emmanuel Suárez Acevedo
AU  - Tiago Ferreira
AU  - Kevin Batz
AU  - Oliver Bøving
AU  - Nate Foster
AU  - Alexandra Silva
PY  - 2026
UR  - https://arxiv.org/abs/2604.13987
ID  - 2604.13987
ER  -