Our group has had a paper accepted at the 19th International Conference on Software Engineering and Formal Methods (SEFM21):

  • V. Hashemi, P. Kouvaros, A. Lomuscio. OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks.

More details can be found on the publications page.