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.