Pages that link to "Item:Q2044214"

The following pages link to Automated and formal synthesis of neural barrier certificates for dynamical models (Q2044214):

Displaying 2 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)