Efficient global robustness certification of neural networks via interleaving twin-network encoding

Published in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2022