Pages that link to "Item:Q5962973"
From MaRDI portal
The following pages link to A zonotopic framework for functional abstractions (Q5962973):
Displaying 8 items.
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering (Q2159000) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
- Strong regularity of parametric interval matrices (Q4603781) (← links)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
- Towards an automatic uncertainty compiler (Q6178702) (← links)
- Robustness verification of support vector machines (Q6536292) (← links)
