Our group has had a paper accepted at the 24th European Conference on Artificial Intelligence (ECAI20):

  • P. Henriksen, A. Lomuscio. Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI20). Santiago de Compostela, Spain.

More details can be found on the publications page. The conference has been rescheduled to September due to COVID-19, but we hope to attend then.