@misc{lu-2026-a,
  author = {Thomas Lu and Qiancheng Fu and Kevin Batz and Oliver Bøving and Tiago Ferreira and Mark Moeller and Nate Foster and Alexandra Silva},
  title = {A Fast Quantitative Analyzer for NetKAT},
  year = {2026},
  month = {7},
  eprint = {2607.14420},
  archiveprefix = {arXiv}
}