Our group has given a virtual talk at the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR20):

The talk was given by Alessio Lomuscio and is on Verifying Strategic Abilities of Neural Multi-agent Systems. It is available to view at: https://www.youtube.com/watch?v=Q10R3D_zDDM

The papers corresponding to the talk can be found on our publications page.