Author Archives: Gary Corrall

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”

Paper accepted at KR16

A. Lomuscio and J. Michaliszyn have their paper “Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions” accepted to the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR16)!

Talk at ICSOC15

Alessio Lomuscio presented the paper entitled “Verification of GSM-based
Artifact-centric Systems by Predicate Abstraction” at the
13th International Conference on Service Oriented Computing (ICSOC15) in
Goa, India. This is joint work with VAS’s former members: P. Gonzalez and A. Griesmayer.