The following pages link to nncontroller (Q55587):
Displaying 3 items.
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation (Q832198) (← links)
- Toward neural-network-guided program synthesis and verification (Q2145332) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918787) (← links)