From the 1 of 2 linked papers with an AI index.
2 papers
cs.PL2026
A Fast Quantitative Analyzer for NetKAT
Thomas Lu, Qiancheng Fu, Kevin Batz +5
The paper introduces a fast analyzer for quantitative network properties using weighted NetKAT, employing a symbolic data structure and specialized algorithms to efficiently comput…
cs.PL2026
Weighted NetKAT: A Programming Language For Quantitative Network Verification
Emmanuel Suárez Acevedo, Tiago Ferreira, Kevin Batz +3
We introduce weighted NetKAT, a domain-specific language for modeling and verifying quantitative network properties. The language is parametric on a semiring, enabling the treatmen…