Personal profile
Personal profile
Sylvie Putot's research focuses on the verification of numerical programs, hybrid systems, and more generally cyber-physical systems. She is currently a member of the Cosynus team in the LIX Computer Science Laboratory of Ecole Polytechnique.
She organizes the monthly LIX Seminar, and recordings of former talks are available there.
Previously, she was a member of CEA LIST, where she was involved in the development of the static analyzer of numerical properties FLUCTUAT.
Research interests
Education/Academic qualification
HDR (PhD Supervision Credentials)
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
Inner and outer approximations of arbitrarily quantified reachability problems
Goubault, E. & Putot, S., 1 Feb 2026, In: Nonlinear Analysis: Hybrid Systems. 59, 101629.Research output: Contribution to journal › Article › peer-review
Open Access -
Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation
Chwiałkowski, M., Goubault, E. & Putot, S., 1 Jan 2026, AI Verification - 2nd International Symposium, SAIV 2025, Proceedings. Giacobbe, M. & Lukina, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 115-135 21 p. (Lecture Notes in Computer Science; vol. 15947 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks
Goubault, E. & Putot, S., 1 Jan 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 324-342 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14933 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
ConForME: Multi-horizon conformal time series forecasting
Lopes, A. G., Goubault, E., Putot, S. & Pautet, L., 1 Jan 2024, In: Proceedings of Machine Learning Research. 230, p. 345-365 21 p.Research output: Contribution to journal › Conference article › peer-review
-
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane
Costa Vianna, M., Goubault, E., Jaulin, L. & Putot, S., 1 Jun 2024, In: International Journal of Approximate Reasoning. 169, 109162.Research output: Contribution to journal › Article › peer-review
Open Access -
Inner and outer approximate quantifier elimination for general reachability problems
Goubault, E. & Putot, S., 14 May 2024, HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week. Association for Computing Machinery, Inc, 8. (HSCC 2024 - Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, part of CPS-IoT Week).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts
Bernini, N., Bessa, M., Delmas, R., Gold, A., Goubault, E., Pennec, R., Putot, S. & Sillion, F., 1 Jan 2024, In: Engineering Applications of Artificial Intelligence. 127, 107090.Research output: Contribution to journal › Article › peer-review
Open Access -
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability
Djeumou, F., Vinod, A. P., Goubault, E., Putot, S. & Topcu, U., 1 Aug 2023, In: IEEE Transactions on Automatic Control. 68, 8, p. 4857-4872 16 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A Real-Time NMPC Controller for Autonomous Vehicle Racing
Li, N., Goubault, E., Pautet, L. & Putot, S., 1 Jan 2022, 2022 6th International Conference on Automation, Control and Robots, ICACR 2022. Institute of Electrical and Electronics Engineers Inc., p. 148-155 8 p. (2022 6th International Conference on Automation, Control and Robots, ICACR 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Estimating the Coverage Measure and the Area Explored by a Side-Scan Sonar
Vianna, M. L. C., Goubault, E., Jaulin, L. & Putot, S., 1 Jan 2022, OCEANS 2022 Hampton Roads. Institute of Electrical and Electronics Engineers Inc., (Oceans Conference Record (IEEE); vol. 2022-October).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review