SAIL (formerly VAS) members have two papers accepted at AAMAS 2019

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

• P. Kouvaros, A. Lomuscio, E. Pirovano, H. Punchihewa. “Formal Verification of Open Multi-Agent Systems”
• A. Lomuscio, E. Pirovano. “A Counter Abstraction Technique for the Verification of Probabilistic Swarm Systems.””

More details can be found on our publications page.