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.