Sherlock

swMATH43618MaRDI QIDQ1350652FDOQ1350652

Author name not available (Why is that?)

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)

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

This page was built for software: Sherlock