Pages that link to "Item:Q5033991"
From MaRDI portal
The following pages link to Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming (Q5033991):
Displaying 8 items.
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- Sparse polynomial optimisation for neural network verification (Q6073032) (← links)
- Using neural networks to solve linear bilevel problems with unknown lower level (Q6097481) (← links)
- Residual neural network-based observer design for continuous stirred tank reactor systems (Q6144078) (← links)
- The Yakubovich S-Lemma Revisited: Stability and Contractivity in Non-Euclidean Norms (Q6173811) (← links)
- Robust stabilization of polytopic systems via fast and reliable neural network-based approximations (Q6545351) (← links)
- A semi-algebraic view on quadratic constraints for polynomial systems (Q6546820) (← links)
- Observer-based safety monitoring of nonlinear dynamical systems with neural networks via quadratic constraint approach (Q6646008) (← links)
