Journal paper accepted to the Artificial Intelligence

P. Kouvaros and A. Lomuscio have their paper “Parameterised Verification for Multi-Agent Systems” accepted in the journal Artificial Intelligence.