Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality

OLIVE: Order Leading Incremental Verification framework.