Automata Learning with an Incomplete Teacher. - Mark Moeller; Thomas Wiener; Alaia Solko-Breslin; Caleb Koch 001; Nate Foster; Alexandra Silva 001 (ECOOP, 2023)

Automata Learning with an Incomplete Teacher (Artifact). - Mark Moeller; Thomas Wiener; Alaia Solko-Breslin; Caleb Koch 001; Nate Foster; Alexandra Silva 001 (Dagstuhl Artifacts Ser., 2023)

KATch: A Fast Symbolic Verifier for NetKAT. - Mark Moeller; Jules Jacobs; Olivier Savary Bélanger; David Darais; Cole Schlesinger; Steffen Smolka; Nate Foster; Alexandra Silva 001 (Proc. ACM Program. Lang., 2024)

Active Learning of Symbolic NetKAT Automata. - Mark Moeller; Tiago Ferreira 001; Thomas Lu; Nate Foster; Alexandra Silva 001 (Proc. ACM Program. Lang., 2025)