Alessio Lomuscio gave an invited keynote talk with the title “Towards verifying neural-symbolic multi-agent systems” at the SEFM 2022 conference in Berlin. The talk summarised the work taking place in our research group, ranging from approaches for the verification of multi-agent systems using tools such as MCMAS to more recent works addressing the verification of Neural Networks and the corresponding Venus and VeriNet toolkits.

More details on the talk can be found on the website of the SEFM 2022 conference