Our group has had two papers accepted at the 34th AAAI Conference on Artificial Intelligence (AAAI20):

  • A. Lomuscio, E. Pirovano. Verifying Fault-Tolerance in Probabilistic Swarm Systems. Proceedings of the 29th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI20). Yokohama, Japan. AAAI Press.
  • B. Aminof, G. De Giacomo, A. Lomuscio, A. Murano, S. Rubin. Synthesizing best-effort strategies under expected and exceptional environment behaviors. Proceedings of the 28th International Joint Conference on Artificial Intelligence and the 17th Pacific Rim International Conference on Artificial Intelligence (IJCAI-PRICAI20). Yokohama, Japan. AAAI Press.

More details can be found on the publications page. The conference is being postponded due to COVID-19, but we loook forward to attending it at a later date.