Automated Synthesis of Certified Neural Networks.

Matteo Zavatteri, Davide Bresolin, Nicol Navarin

Browse the full ECAI paper archive.