Verisig

swMATH44203MaRDI QIDQ1349743FDOQ1349743

Author name not available (Why is that?)

Source code repository: https://github.com/Verisig/verisig

Described by source

• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning

Cited In (1)

• Reachability analysis of a general class of neural ordinary differential equations

This page was built for software: Verisig