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.