Our group has a collection of three papers to present at the 27th International Joint Conference on Artificial Intelligence (IJCAI18):

  • P. Kouvaros, A. Lomuscio, E. Pirovano. “Symbolic Synthesis of Fault-Tolerance Ratios in Parameterised Multi-Agent Systems”
  • A. Lomuscio, E. Pirovano. “Verifying Emergence of Bounded Time Properties in Probabilistic Swarm Systems”
  • F. Belardinelli, A. Lomuscio, N. Murano, S. Rubin. “Alternating-time Temporal Logic on Finite Traces”

More details can be found on our publications page.