Our group has a collection of two papers to present at the 17th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS18):

  • J. Kong, A. Lomuscio. “Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces”
  • F. Belardinelli, A. Lomuscio, N. Murano. S. Rubin. “Decidable Verification of Multi-agent Systems with Bounded Private Actions”

More details can be found on the publications page.