Talks

  • CALF: Categorical Automata Learning Framework LiVe 2017 (pdf)
  • Learning Nominal Automata, POPL 2017 (pdf)
Advertisements
%d bloggers like this: