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.