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