TY  - RPRT
TI  - Active Learning of Symbolic NetKAT Automata
AU  - Mark Moeller
AU  - Tiago Ferreira
AU  - Thomas Lu
AU  - Nate Foster
AU  - Alexandra Silva
PY  - 2025
DO  - 10.1145/3729295
UR  - https://arxiv.org/abs/2504.13794
ID  - 2504.13794
ER  -