Pages that link to "Item:Q2044214"
From MaRDI portal
The following pages link to Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214):
Displayed 5 items.
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← 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)