Our group has had two papers accepted at the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019):

  • F. Belardinelli, A. Lomuscio, V. Malvone. “An Abstraction-based Method for Verifying Strategic Properties in Multi-agent Systems with Imperfect Information”
  • M. Akintunde, A. Kevorchian, A. Lomuscio, E. Pirovano. “Verification of RNN-Based Neural Agent-Environment Systems”

More details can be found on our publications page.