From the 1 of 2 papers with an AI index.
1 paper · 1 filter
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…