Verisig

MaRDI QIDQ1349743swMATHFDO

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)

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

This page was built for software: Verisig