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.