Four members of the group (Michael Akintunde, Alessio Lomuscio, Lalit Maganti, and Edoardo Pirovano) collaborated on a paper Reachability Analysis for Neural Agent-Environment Systems which has been accepted at KR 2018.

Alessio Lomuscio has collaborated with Francesco Belardinelli and Vadim Malvone on the paper Approximating Perfect Recall when Model Checking Strategic Abilities, also accepted at KR 2018.