VAS members have a paper accepted at FM 2021
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.