Sherlock

swMATH43618MaRDI QIDQ1350652FDOQ1350652

Author name not available (Why is that?)

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

Described by source

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

Cited In (3)

• An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
• Static analysis of ReLU neural networks with tropical polyhedra
• Risk verification of stochastic systems with neural network controllers

This page was built for software: Sherlock