Pages that link to "Item:Q5146391"
From MaRDI portal
The following pages link to Synthesizing barrier certificates using neural networks (Q5146391):
Displayed 8 items.
- Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Smooth converse Lyapunov-barrier theorems for asymptotic stability with safety constraints and reach-avoid-stay specifications (Q2165975) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Lyapunov-barrier characterization of robust reach-avoid-stay specifications for hybrid systems (Q6116266) (← links)
- Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems (Q6120657) (← links)
- FOSSIL (Q6120668) (← links)
- Verifying Neural Network Controlled Systems Using Neural Networks (Q6120690) (← links)