Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
scientific article; zbMATH DE number 7498140
scientific article