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)

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

This page was built for software: Sherlock