Our group has had two papers accepted at the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS20):

  • M. Akintunde, E. Botoeva, P. Kouvaros, A. Lomuscio. Formal Verification of Neural Agents in Non-Deterministic Environments. Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS20). Auckland, New Zealand. IFAAMAS Press.
  • A. Lomuscio, E. Pirovano. Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems. Proceedings of the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS20). Auckland, New Zealand. IFAAMAS Press.

More details can be found on the publications page. As the conference is taking place online, we will also post videos of the talk there once they appear.