SP
Sylvie Putot
cs.SYeess.SYcs.LOcs.ROcs.AIcs.LGcs.NAmath.NAmath.OCcs.SE
On Valency
published · living versionsW_f2pveuny·v1 · currentpublished
Solving quantified constraint satisfaction problems with applications to control
with Éric Goubault, Nuwan Herath Mudiyanselage
1 version
Preprints & journals
17 papers in the corpus · 2008–2026Propagation of~Interval Belief Structures and~Imprecise Copulas for~Neural Network Verification2606.30105v1 · Francesc Pifarre-Esquerda (LIX), Eric Goubault (X-DEP-INFO), Sylvie Putot (LIX)2026 · 0 citationsInformation Processing and Management of Uncertainty in Knowledge-Based Systems, Jun 2026, Rome, Italy. pp.176-189
Guaranteed approximations of arbitrarily quantified reachability problems2309.07662v1 · Eric Goubault, Sylvie Putot2023 · 0 citationsarXiv
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane2309.03604v1 · Maria Costa Vianna, Eric Goubault, Luc Jaulin et al.2023 · 2 citationsarXiv
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs2201.05715v2 · Franck Djeumou, Cyrus Neary, Eric Goubault et al.2022 · 8 citationsarXiv
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling2109.06407v2 · Franck Djeumou, Cyrus Neary, Eric Goubault et al.2021 · 43 citationsProceedings of The 4th Annual Learning for Dynamics and Control Conference, PMLR 168:263-277, 2022
Neural Network Based Model Predictive Control for an Autonomous Vehicle2107.14573v1 · Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot2021 · 4 citationsarXiv
Static analysis of ReLU neural networks with tropical polyhedra2108.00893v2 · Eric Goubault, S'ebastien Palumby, Sylvie Putot et al.2021 · 8 citationsarXiv
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts2107.12942v1 · Nicola Bernini, Mikhail Bessa, R'emi Delmas et al.2021 · 16 citationsarXiv
Tractable higher-order under-approximating AE extensions for non-linear systems2101.11536v1 · Eric Goubault, Sylvie Putot2021 · 4 citationsarXiv
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability2011.05524v2 · Franck Djeumou, Abraham P. Vinod, Eric Goubault et al.2020 · 11 citationsarXiv
On-The-Fly Control of Unknown Smooth Systems from Limited Data2009.12733v2 · Franck Djeumou, Abraham P. Vinod, Eric Goubault et al.2020 · 17 citationsarXiv
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System1709.02561v1 · Benjamin Martin, Khalil Ghorbal, Eric Goubault et al.2017 · 2 citationsEPTCS 257, 2017, pp. 91-104
General inner approximation of vector-valued functions1310.1709v1 · Mullier Olivier, 'Eric Goubault, Michel Kieffer et al.2013 · 8 citationsarXiv
Robustness analysis of finite precision implementations1309.3910v1 · Eric Goubault, Sylvie Putot2013 · 41 citationsarXiv
A Logical Product Approach to Zonotope Intersection1002.2236v3 · Khalil Ghorbal, Eric Goubault, Sylvie Putot2010 · 53 citationsarXiv
A zonotopic framework for functional abstractions0910.1763v1 · Eric Goubault, Sylvie Putot2009 · 36 citationsarXiv
Perturbed affine arithmetic for invariant computation in numerical program analysis0807.2961v1 · Eric Goubault, Sylvie Putot2008 · 13 citationsarXiv
Career total: 104 works. 17 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.