Pages that link to "Item:Q5918375"
From MaRDI portal
The following pages link to Learning safe neural network controllers with barrier certificates (Q5918375):
Displaying 9 items.
- nncontroller (Q55587) (← links)
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation (Q832198) (← links)
- Training classifiers for feedback control with safety in mind (Q2021288) (← links)
- Toward neural-network-guided program synthesis and verification (Q2145332) (← links)
- Safe reinforcement learning: A control barrier function optimization approach (Q6089847) (← links)
- Generating probabilistic safety guarantees for neural network controllers (Q6134350) (← links)
- RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems (Q6487328) (← links)
- Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints (Q6535637) (← links)
- Computation of feedback control laws based on switched tracking of demonstrations (Q6669736) (← links)
