The following pages link to Sherlock (Q1350652):
Displaying 3 items.
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation (Q832198) (← links)
- Risk verification of stochastic systems with neural network controllers (Q2093383) (← links)
- Static analysis of ReLU neural networks with tropical polyhedra (Q2145325) (← links)