The following pages link to Sylvie Putot (Q246148):
Displaying 19 items.
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- Static analysis of ReLU neural networks with tropical polyhedra (Q2145325) (← links)
- Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities (Q2272918) (← links)
- Inner approximated reachability analysis (Q2986962) (← links)
- A Topological Method for Finding Invariant Sets of Switched Systems (Q2988962) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (Q3611999) (← links)
- Static Analysis of Numerical Algorithms (Q3613375) (← links)
- (Q4738356) (← links)
- An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations (Q5170172) (← links)
- Inner and outer reachability for the verification of control systems (Q5239214) (← links)
- Forward Inner-Approximated Reachability of Non-Linear Continuous Systems (Q5275312) (← links)
- Numerical Software with Result Verification (Q5308361) (← links)
- Computer Aided Verification (Q5716589) (← links)
- A topological method for finding invariant sets of continuous systems (Q5915732) (← links)
- A topological method for finding invariant sets of continuous systems (Q5925511) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)
- On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability (Q6093206) (← links)
- Estimating the coverage measure and the area explored by a line-sweep sensor on the plane (Q6570313) (← links)
