Learning nominal automata.

Joshua Moerman, Matteo Sammartino, Alexandra Silva, Bartek Klin, Michal Szynwelski

Browse the full POPL paper archive.