Eric Goubault

ORCID

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 64

Top Venues

CoRR

HSCC

J. Appl. Comput. Topol.

ACM Trans. Embed. Comput. Syst.

Publications

Eric Goubault
A semi-abelian approach to directed homology. J. Appl. Comput. Topol. 8 (2) (2024)
Eric Goubault, Sylvie Putot
Inner and outer approximate quantifier elimination for general reachability problems. HSCC (2024)
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. Eng. Appl. Artif. Intell. 127 (Part A) (2024)
Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane. Int. J. Approx. Reason. 169 (2024)
Eric Goubault, Roman Kniazev, Jérémy Ledent
A many-sorted epistemic logic for chromatic hypergraphs. CoRR (2023)
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Simplicial Models for the Epistemic Logic of Faulty Agents. CoRR (2023)
Cameron Calk, Eric Goubault, Philippe Malbos
Persistent homology of directed spaces. CoRR (2023)
Eric Goubault
A semi-abelian approach to directed homology. CoRR (2023)
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
Semi-simplicial Set Models for Distributed Knowledge. CoRR (2023)
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. IEEE Trans. Autom. Control. 68 (8) (2023)
Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane. CoRR (2023)
Eric Goubault, Sylvie Putot
Guaranteed approximations of arbitrarily quantified reachability problems. CoRR (2023)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. L4DC (2022)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. IJCAI (2022)
Eric Goubault, Sylvie Putot
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. CAV (1) (2022)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. CoRR (2022)
Theophile Cabannes, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Eric Goubault, Romuald Elie
Solving N-Player Dynamic Routing Games with Congestion: A Mean-Field Approach. AAMAS (2022)
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18 (4) (2022)
Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. CoRR (2021)
Eric Goubault, Sylvie Putot
Tractable higher-order under-approximating AE extensions for non-linear systems. CoRR (2021)
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS (2021)
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
A few lessons learned in reinforcement learning for quadcopter attitude control. HSCC (2021)
Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
A topological method for finding invariant sets of continuous systems. Inf. Comput. 277 (2021)
Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
: Epistemic Logic with Agents that May Die. CoRR (2021)
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts. CoRR (2021)
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
Static analysis of ReLU neural networks with tropical polyhedra. CoRR (2021)
Eric Goubault, Sylvie Putot
Tractable higher-order under-approximating AE extensions for non-linear systems. ADHS (2021)
Cameron Calk, Eric Goubault, Philippe Malbos
Abstract Strategies and Coherence. RAMiCS (2021)
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
On-The-Fly Control of Unknown Smooth Systems from Limited Data. ACC (2021)
Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot
Neural Network Based Model Predictive Control for an Autonomous Vehicle. CoRR (2021)
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR (2020)
Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
Knowledge and simplicial complexes. CoRR (2020)
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability. CoRR (2020)
Eric Goubault, Samuel Mimram
Directed Homotopy in Non-Positively Curved Spaces. Log. Methods Comput. Sci. 16 (3) (2020)
Eric Goubault, Sylvie Putot
Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances. IEEE Control. Syst. Lett. 4 (4) (2020)
Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. VSTTE (2020)
Eric Goubault, Michael Farber, Aurélien Sagnier
Directed topological complexity. J. Appl. Comput. Topol. 4 (1) (2020)
Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
On-The-Fly Control of Unknown Smooth Systems from Limited Data. CoRR (2020)
Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. NeurIPS (2020)
Eric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
A dynamic epistemic logic analysis of the equality negation task. CoRR (2019)
Eric Goubault, Samuel Mimram
Directed Homotopy in Non-Positively Curved Spaces. CoRR (2019)
Eric Goubault, Sylvie Putot
Inner and outer reachability for the verification of control systems. HSCC (2019)
Eric Goubault, Michael Farber, Aurélien Sagnier
Directed topological complexity. CoRR (2018)
Cameron Calk, Eric Goubault, Philippe Malbos
Time-reversal homotopical properties of concurrent systems. CoRR (2018)
Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault
Discrete Choice in the Presence of Numerical Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Eric Goubault, Sylvie Putot, Lorenz Sahlmann
Inner and Outer Approximating Flowpipes for Delay Differential Equations. CAV (2) (2018)
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
Directed Homology Theories and Eilenberg-Steenrod Axioms. Appl. Categorical Struct. 25 (5) (2017)
Eric Goubault, Sylvie Putot
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. HSCC (2017)
Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. FVAV@iFM (2017)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Eric Goubault, Sergio Rajsbaum
Models of fault-tolerant distributed computation via dynamic epistemic logic. CoRR (2017)
Eric Goubault, Sergio Rajsbaum
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing. CoRR (2017)
Eric Goubault
On directed homotopy equivalences and a notion of directed topological complexity. CoRR (2017)
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS (2016)
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
Bisimulations and Unfolding in P-Accessible Categorical Models. CONCUR (2016)
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
The Directed Homotopy Hypothesis. CSL (2016)
Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed
A Topological Method for Finding Invariant Sets of Switched Systems. HSCC (2016)
Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. 15 (4) (2016)
Eric Goubault, Sylvie Putot
A zonotopic framework for functional abstractions. Formal Methods Syst. Des. 47 (3) (2015)
Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
A Topological Method for Finding Invariant Sets of Continuous Systems. RP (2015)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT (2015)
Eric Goubault, Samuel Mimram, Christine Tasson
Iterated Chromatic Subdivisions are Collapsible. Appl. Categorical Struct. 23 (6) (2015)
Eric Goubault, Samuel Mimram, Christine Tasson
From Geometric Semantics to Asynchronous Computability. DISC (2015)
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
Natural Homology. ICALP (2) (2015)
Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer
Inner approximated reachability analysis. HSCC (2014)
Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials. ACC (2014)
Eric Goubault, Sylvie Putot
Robustness Analysis of Finite Precision Implementations. APLAS (2013)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. 49 (2) (2013)
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
General inner approximation of vector-valued functions. CoRR (2013)
Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE (2013)
Eric Goubault, Sylvie Putot
Robustness analysis of finite precision implementations. CoRR (2013)
Eric Goubault
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. SAS (2013)
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
General Inner Approximation of Vector-valued Functions. Reliab. Comput. 18 (2013)
Eric Goubault, Tobias Heindel, Samuel Mimram
A Geometric View of Partial Order Reduction. MFPS (2013)
Eric Goubault, Sylvie Putot, Franck Védrine
Modular Static Analysis with Zonotopes. SAS (2012)
Assalé Adjé, Stéphane Gaubert, Eric Goubault
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis Log. Methods Comput. Sci. 8 (1) (2012)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP (2012)
Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault
Abstract interpretation meets convex optimization. J. Symb. Comput. 47 (12) (2012)
Eric Goubault, Tristan Le Gall, Sylvie Putot
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. Electron. Notes Theor. Comput. Sci. 287 (2012)
Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot
A generalization of p-boxes to affine arithmetic. Computing 94 (2-4) (2012)
Lisbeth Fajstrup, Eric Goubault, Martin Raussen
Preface. Electron. Notes Theor. Comput. Sci. 283 (2012)
Eric Goubault, Samuel Mimram
Formal Relationships Between Geometrical and Classical Models for Concurrency. Electron. Notes Theor. Comput. Sci. 283 (2012)
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
Trace Spaces: an Efficient New Technique for State-Space Reduction CoRR (2012)
Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan
Editorial: Special Section VCPSS'09. ACM Trans. Embed. Comput. Syst. 11 (S2) (2012)
Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoit Lopez, Eric Goubault, Sylvie Putot, Franck Védrine, Amine Najahi, Guillaume Revy, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti
Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP (2012)
Eric Goubault, Sylvie Putot
Static Analysis of Finite Precision Computations. VMCAI (2011)
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault
Policy Iteration within Logico-Numerical Abstract Domains. ATVA (2011)
Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP (2011)
Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan
Foreword. Math. Comput. Sci. 5 (4) (2011)
Assalé Adjé, Stéphane Gaubert, Eric Goubault
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP (2010)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
A Logical Product Approach to Zonotope Intersection. CAV (2010)
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan
Future Path-components in Directed Topology. MFPS (2010)
Eric Goubault, Samuel Mimram
Formal Relationships Between Geometrical and Classical Models for Concurrency CoRR (2010)
Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
The Tropical Double Description Method. STACS (2010)
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
The tropical double description method CoRR (2010)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
A Logical Product Approach to Zonotope Intersection CoRR (2010)
Eric Goubault, Sylvie Putot
A zonotopic framework for functional abstractions CoRR (2009)
Khalil Ghorbal, Eric Goubault, Sylvie Putot
The Zonotope Abstract Domain Taylor1+. CAV (2009)
David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS (2009)

Eric Goubault.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Eric Goubault