Sherlock
From MaRDI portal
Software:1350652
No author found.
Source code repository: https://github.com/souradeep-111/sherlock
Related Items (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
