Sherlock

MaRDI QIDQ1350652swMATHFDO

Official website https://susmitjha.github.io/papers/hscc19.pdf

Source code repository https://github.com/souradeep-111/sherlock

Described by source

• Sherlock - A tool for verification of neural network feedback systems

Cited in

(11)

• Verisig
• Safety Gym
• ReachNN
• Kaa
• Risk verification of stochastic systems with neural network controllers
• Static analysis of ReLU neural networks with tropical polyhedra
• Pyhybridanalysis
• NNV
• VERIFAI
• nncontroller
• An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation

This page was built for software: Sherlock