Before revision:  Our results show that PRIMA is significantly more precise than the state-of-the-art, verifying robustness for up to 16 \%, 30\%, and 34\% more images than prior work on ReLU-, Sigmoid-, and Tanh-based networks, respectively  .
After revision:  Our results show that PRIMA is significantly more precise than the state-of-the-art, verifying robustness for up to 16 \%, 30\%, and 34\% more images than prior work on ReLU-, Sigmoid-, and Tanh-based networks, respectively . Further, PRIMA enables, for the first time, precise verification of a realistic neural network for autonomous driving within a few minutes .