@article{moeller-2025-active, title={Active Learning of Symbolic NetKAT Automata}, volume={9}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3729295}, DOI={10.1145/3729295}, number={PLDI}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Moeller, Mark and Ferreira, Tiago and Lu, Thomas and Foster, Nate and Silva, Alexandra}, year={2025}, month=June, pages={1119–1142} }