Active Learning of Symbolic NetKAT Automata

Published in PLDI 2025, 2025

Recommended citation: Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, and Alexandra Silva. 2025. Active Learning of Symbolic NetKAT Automata. Proc. ACM Program. Lang. 9, PLDI, Article 192 (June 2025), 24 pages. https://doi.org/10.1145/3729295 /files/pdf/research/2025-nkl.pdf