Paper at CONCUR 2020

The paper entitled “Residual Nominal Automata” by Joshua Moerman and Matteo Sammartino (Royal Holloway University of London) has been accepted for the 31st International Conference on Concurrency Theory (CONCUR 2020). Out of 112 submissions, 45 papers are accepted.

The paper is about formal languages over infinite alphabets. It investigates the class of languages accepted by “residual automata”. These have good properties for learning them from observations.