Verisig

swMATH44203MaRDI QIDQ1349743FDOQ1349743

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-030-81685-8_11

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 (10)

• Sherlock
• ReachNN
• ProbabilityBoundsAnalysis.jl
• JuliaReach
• TaylorSeries.jl
• NNV
• VERIFAI
• NNVODE
• Lazysets.jl
• Reachability analysis of a general class of neural ordinary differential equations

This page was built for software: Verisig