Certified Neural Networks: from Verification to Synthesis

Neural networks find applications in many safety-critical systems that raise concerns about their deployment: Are we sure they never advise doing anything catastrophic?