Our group has had a paper accepted at the 24th International Symposium on Formal Methods (FM21):

  • P. Kouvaros, T. Kyono, F. Leofante, A. Lomuscio, D. Margineantu, D. Osipychev, Y. Zheng. Formal Analysis of Neural Network-based Systems in the Aircraft Domain.

More details can be found on the publications page.