Weighted NetKAT: A Programming Language For Quantitative Network Verification. - Emmanuel Suárez Acevedo; Tiago Ferreira 001; Kevin Batz; Oliver Bøving; Nate Foster; Alexandra Silva 001 (CoRR, 2026)