VAS members have 4 papers accepted at AAMAS2016

Our group has a collection of four paper to present at the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16):

  • P. Kouvaros and A. Lomuscio. “Formal Verification of Opinion Formation in Swarms”
  • I. Boureanu, P. Kouvaros and A. Lomuscio. “Verifying Security Properties in Unbounded Multiagent Systems”
  • A. Lomuscio and J. Michaliszyn. “Verification of Multi-Agent Systems via Predicate Abstraction against ATLK specifications”
  • F. Belardinelli, H. van Ditmarsch, and W. van der Hoek. “Second-order Propositional Announcement Logic”