Publications

Note: Papers co-authored by group members before joining the group can be accessed from the authors’ individual web pages.

2018

  • P. Kouvaros, A. Lomuscio, E. Pirovano. Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems. Proceedings of the 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI18). Stockholm, Sweden. AAAI Press. To Appear.
  • A. Lomuscio, E. Pirovano. Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems. Proceedings of the 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI18). Stockholm, Sweden. AAAI Press. To Appear.
  • F. Belardinelli, A. Lomuscio, N. Murano, S. Rubin. Alternating-time Temporal Logic on Finite Traces. Proceedings of the 27th International Joint Conference on Artificial Intelligence and 23rd European Conference on Artificial Intelligence (IJCAI-ECAI18). Stockholm, Sweden. AAAI Press. To Appear.
  • A. Lomuscio, M. Y. Vardi (eds). Introduction to Special Issue on Strategic Reasoning. Information and Computation. 2018. (Extended versions of selected articles from the 4th International Workshop on Strategic Reasoning, New York, USA, 2016).
  • J. Kong, A. Lomuscio. Model Checking Multi-Agent Systems against LDLK Specifications on Finite Traces. Proceedings of the 17th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS18). Stockholm, Sweden. IFAAMAS Press.
  • F. Belardinelli, A. Lomuscio, N. Murano. S. Rubin. Decidable Verification of Multi-agent Systems with Bounded Private Actions (extended abstract). Proceedings of the 17th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS18). Stockholm, Sweden. IFAAMAS Press.

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006