Articles with public access mandates - Sylvie PutotLearn more
Available somewhere: 10
Neural networks with physics-informed architectures and constraints for dynamical systems modeling
F Djeumou, C Neary, E Goubault, S Putot, U Topcu
Learning for Dynamics and Control Conference, 263-277, 2022
Mandates: US National Science Foundation, US Department of Defense
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
O Bouissou, E Goubault, S Putot, A Chakarov, S Sankaranarayanan
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
Mandates: US National Science Foundation
On-the-fly control of unknown smooth systems from limited data
F Djeumou, AP Vinod, E Goubault, S Putot, U Topcu
2021 American Control Conference (ACC), 3656-3663, 2021
Mandates: US Department of Defense, US National Aeronautics and Space Administration
On-the-fly control of unknown systems: From side information to performance guarantees through reachability
F Djeumou, AP Vinod, E Goubault, S Putot, U Topcu
IEEE Transactions on Automatic Control 68 (8), 4857-4872, 2022
Mandates: US Department of Defense, US National Aeronautics and Space Administration
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.
S Sankaranarayanan, Y Chou, E Goubault, S Putot
Advances in Neural Information Processing Systems 33, 17502-17513, 2020
Mandates: US National Science Foundation, US Department of Defense
Static analysis of ReLU neural networks with tropical polyhedra
E Goubault, S Palumby, S Putot, L Rustenholz, S Sankaranarayanan
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
Mandates: US National Science Foundation
Combining zonotope abstraction and constraint programming for synthesizing inductive invariants
B Kabi, E Goubault, A Miné, S Putot
Software Verification: 12th International Conference, VSTTE 2020, and 13th …, 2020
Mandates: Agence Nationale de la Recherche
Inner and outer approximate quantifier elimination for general reachability problems
E Goubault, S Putot
Proceedings of the 27th ACM International Conference on Hybrid Systems …, 2024
Mandates: Agence Nationale de la Recherche
Towards Automata-Based Abstraction of Goals in Hierarchical Reinforcement Learning
M Zadem, S Mover, S Putot
Intrinsically Motivated Open-ended Learning IMOL 2022, 2022
Mandates: European Commission
A topological method for finding invariant sets of continuous systems
L Fribourg, E Goubault, S Mohamed, M Mrozek, S Putot
Information and Computation 277, 104581, 2021
Mandates: Agence Nationale de la Recherche
Publication and funding information is determined automatically by a computer program