SAIL (formerly VAS) members give talks at AAMAS 2020

Our group has given two virtual talks at the 19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS20).

• Michael Akintunde: Formal Verification of Neural Agents in Non-Deterministic Environments.
• Edoardo Pirovano: Parameterised Verification of Strategic Properties in Probabilistic Multi-Agent Systems.

The papers corresponding to these talks can be found on our publications page.