The following pages link to Sylvie Putot (Q246148):
Displayed 23 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)
- A reduced product of absolute and relative error bounds for floating-point analysis (Q6041174) (← links)
- Inner and outer approximating flowpipes for delay differential equations (Q6043172) (← links)
- On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability (Q6093206) (← links)
- A few lessons learned in reinforcement learning for quadcopter attitude control (Q6120677) (← links)
- General inner approximation of vector-valued functions (Q6245402) (← links)
- Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane (Q6450259) (← links)