Our group has had a paper accepted at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR20):

  • M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Verifying Strategic Abilities of Neural Multi-agent Systems. International Conference on Principles of Knowledge Representation and Reasoning (KR20). Viirtual conference.

More details can be found on the publications page.