Sylvie Putot

From MaRDI portal
Person:246148

Available identifiers

zbMath Open putot.sylvieMaRDI QIDQ246148

List of research outcomes

PublicationDate of PublicationType
A few lessons learned in reinforcement learning for quadcopter attitude control2024-02-21Paper
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability2023-10-06Paper
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane2023-09-07Paper
A reduced product of absolute and relative error bounds for floating-point analysis2023-05-26Paper
Inner and outer approximating flowpipes for delay differential equations2023-05-05Paper
Static analysis of ReLU neural networks with tropical polyhedra2022-06-17Paper
A topological method for finding invariant sets of continuous systems2021-04-13Paper
Inner and outer reachability for the verification of control systems2019-10-22Paper
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities2019-09-17Paper
A topological method for finding invariant sets of continuous systems2017-10-27Paper
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems2017-07-11Paper
A Topological Method for Finding Invariant Sets of Switched Systems2017-05-19Paper
Inner approximated reachability analysis2017-05-16Paper
A zonotopic framework for functional abstractions2016-02-25Paper
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations2014-07-22Paper
General inner approximation of vector-valued functions2013-10-07Paper
A generalization of \(p\)-boxes to affine arithmetic2012-04-04Paper
Static Analysis of Finite Precision Computations2011-02-15Paper
Static Analysis of Numerical Algorithms2009-03-12Paper
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic2009-03-03Paper
Numerical Software with Result Verification2007-09-28Paper
Computer Aided Verification2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q47383562004-08-11Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Sylvie Putot