works on
network verification 1pareto optimization 1quantitative analysis 1rust implementation 1semirings 1

From the 1 of 1 paper with an AI index.

researchers with a paper here
collaborating institutions

1 paper

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…