40 citations · 84 across the 14 of their papers we have counts for
16 papers
Propagation of~Interval Belief Structures and~Imprecise Copulas for~Neural Network Verification
Francesc Pifarre-Esquerda, Eric Goubault, Sylvie Putot
Quantitative verification of neural networks requires reasoning about probabilities under substantial uncertainty in both input distributions and their dependence structure. In rea…
Guaranteed approximations of arbitrarily quantified reachability problems
Eric Goubault, Sylvie Putot
We propose an approach to compute inner and outer-approximations of the sets of values satisfying constraints expressed as arbitrarily quantified formulas. Such formulas arise for…
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane
Maria Costa Vianna, Eric Goubault, Luc Jaulin +1
This paper presents a method for determining the area explored by a line-sweep sensor during an area-covering mission in a two-dimensional plane. Accurate knowledge of the explored…
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs
Franck Djeumou, Cyrus Neary, Eric Goubault +2
Neural ordinary differential equations (NODEs) -- parametrizations of differential equations using neural networks -- have shown tremendous promise in learning models of unknown co…
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
Franck Djeumou, Cyrus Neary, Eric Goubault +2
Effective inclusion of physics-based knowledge into deep neural network models of dynamical systems can greatly improve data efficiency and generalization. Such a-priori knowledge…
Static analysis of ReLU neural networks with tropical polyhedra
Eric Goubault, Sébastien Palumby, Sylvie Putot +2
This paper studies the problem of range analysis for feedforward neural networks, which is a basic primitive for applications such as robustness of neural networks, compliance to s…