Profil personnel
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.
Intérêts de la recherche
Qualification académique
HDR (PhD Supervision Credentials)
Empreinte digitale
- 1 Profils similaires
Collaborations et principaux domaines de recherche des cinq dernières années
Résultat de recherche
-
Inner and outer approximations of arbitrarily quantified reachability problems
Goubault, E. & Putot, S., 1 févr. 2026, Dans: Nonlinear Analysis: Hybrid Systems. 59, 101629.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation
Chwiałkowski, M., Goubault, E. & Putot, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks
Goubault, E. & Putot, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
Communication Strategies for Environment Exploration Using a Frontier-Guided Decentralised MCTS
Jeannin, M., Filliat, D., Goubault, E. & Putot, S., 1 janv. 2025, 2025 IEEE International Symposium on Multi-Robot and Multi-Agent Systems, MRS 2025. Institute of Electrical and Electronics Engineers Inc., (2025 IEEE International Symposium on Multi-Robot and Multi-Agent Systems, MRS 2025).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
Accès ouvert -
ConForME: Multi-horizon conformal time series forecasting
Lopes, A. G., Goubault, E., Putot, S. & Pautet, L., 1 janv. 2024, Dans: Proceedings of Machine Learning Research. 230, p. 345-365 21 p.Résultats de recherche: Contribution à un journal › Article de conférence › Revue par des pairs
-
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 juin 2024, Dans: International Journal of Approximate Reasoning. 169, 109162.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
Inner and outer approximate quantifier elimination for general reachability problems
Goubault, E. & Putot, S., 14 mai 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs
-
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 janv. 2024, Dans: Engineering Applications of Artificial Intelligence. 127, 107090.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
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 août 2023, Dans: IEEE Transactions on Automatic Control. 68, 8, p. 4857-4872 16 p.Résultats de recherche: Contribution à un journal › Article › Revue par des pairs
Accès ouvert -
A Real-Time NMPC Controller for Autonomous Vehicle Racing
Li, N., Goubault, E., Pautet, L. & Putot, S., 1 janv. 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).Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs