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.