Verisig 2.0: Verification of Neural Network Controllers Using Taylor Model Preconditioning.

Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

Browse the full CAV paper archive.