Pages that link to "Item:Q5146391"
From MaRDI portal
The following pages link to Synthesizing barrier certificates using neural networks (Q5146391):
Displaying 7 items.
- Barrier certificates revisited (Q507352) (← links)
- 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)
- Invariant set estimation for piecewise affine dynamical systems using piecewise affine barrier function (Q6669732) (← links)