SAIL (formerly VAS) members have four papers accepted at AAAI 2023

We’re delighted to announce that our group has had four papers accepted at the 37th AAAI Conference on Artificial Intelligence (AAAI23).

• E. Pirovano, A. Lomuscio. “A Counter Abstraction Technique for Verifying Properties of Probabilistic Swarm Systems”
• P. Henriksen, A. Lomuscio. “Robust Training of Neural Networks against Bias Field Perturbations”
• J. Lan, Y. Zheng, A. Lomuscio. “Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification”
• J. Lan, B. Brueckner, A. Lomuscio. “A Semidefinite Relaxation based Branch-and-Bound Method for Tight Neural Network Verification”

More details can be found on the publications page.