BibTex format
@inproceedings{Henriksen:2020,
author = {Henriksen, P and Lomuscio, A},
title = {Efficient Neural Network Verification via Adaptive Refinement and Adversarial Search},
year = {2020}
}
Faculty of Engineering, Department of Computing
Professor of Safe Artificial IntelligenceImperial-XTranslation & Innovation Hub BuildingWhite City Campus