ÉG
Éric Goubault
cs.LOcs.DCmath.ATcs.SYeess.SYcs.AIcs.ROcs.MAmath.OCcs.LG
On Valency
published · living versionsW_f2pveuny·v1 · currentpublished
Solving quantified constraint satisfaction problems with applications to control
with Nuwan Herath Mudiyanselage, Sylvie Putot
1 version
Preprints & journals
50 papers in the corpus · 2001–2026Propagation of~Interval Belief Structures and~Imprecise Copulas for~Neural Network Verification2606.30105v1 · Francesc Pifarre-Esquerda (LIX), Eric Goubault (X-DEP-INFO), Sylvie Putot (LIX)2026 · 0 citationsInformation Processing and Management of Uncertainty in Knowledge-Based Systems, Jun 2026, Rome, Italy. pp.176-189
Homological algebra over non-unital rings and algebras, with applications to -categories2603.11937v1 · Eric Goubault, Eliot M'edioni2026 · 0 citationsarXiv
Directed homological and cohomological operations2603.11967v1 · Eric Goubault2026 · 0 citationsarXiv
Distributed Knowledge in Simplicial Models2602.06945v1 · 'Eric Goubault, J'er'emy Ledent, Sergio Rajsbaum2026 · 0 citationsarXiv
Homological Algebra in Abelian Framed Bicategories: Exact Sequences and Embedding Theorems2602.04425v1 · Augustin Albert, J'er'emy Dubut, Eric Goubault2026 · 0 citationsarXiv
A categorical and logical framework for iterated protocols2505.10071v1 · Eric Goubault, Bernardo Hummes Flores, Roman Kniazev et al.2025 · 0 citationsarXiv
Directed homotopy modules2504.13838v1 · Eric Goubault2025 · 0 citationsarXiv
Knowledge in multi-robot systems: an interplay of dynamics, computation and communication2501.18309v2 · Giorgio Cignarale, Stephan Felber, Eric Goubault et al.2025 · 1 citationarXiv
Simplicial Models for the Epistemic Logic of Faulty Agents2311.01351v3 · Eric Goubault, Roman Kniazev, Jeremy Ledent et al.2023 · 2 citationsarXiv
Guaranteed approximations of arbitrarily quantified reachability problems2309.07662v1 · Eric Goubault, Sylvie Putot2023 · 0 citationsarXiv
Directed Homology and Persistence Modules2309.07095v3 · Eric Goubault2023 · 0 citationsarXiv
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane2309.03604v1 · Maria Costa Vianna, Eric Goubault, Luc Jaulin et al.2023 · 2 citationsarXiv
A many-sorted epistemic logic for chromatic hypergraphs2308.00477v1 · Eric Goubault, Roman Kniazev, J'er'emy Ledent2023 · 0 citationsarXiv
Persistent homology of partially ordered spaces2305.03357v3 · Cameron Calk, Eric Goubault, Philippe Malbos2023 · 1 citationarXiv
Semi-simplicial Set Models for Distributed Knowledge2303.14976v2 · Eric Goubault, Roman Kniazev, J'er'emy Ledent et al.2023 · 10 citationsarXiv
A semi-abelian approach to directed homology2301.06409v2 · Eric Goubault2023 · 1 citationarXiv
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs2201.05715v2 · Franck Djeumou, Cyrus Neary, Eric Goubault et al.2022 · 8 citationsarXiv
Solving N-player dynamic routing games with congestion: a mean field approach2110.11943v2 · Theophile Cabannes, Mathieu Lauriere, Julien Perolat et al.2021 · 5 citationsarXiv
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling2109.06407v2 · Franck Djeumou, Cyrus Neary, Eric Goubault et al.2021 · 43 citationsProceedings of The 4th Annual Learning for Dynamics and Control Conference, PMLR 168:263-277, 2022
A Simplicial Model for : Epistemic Logic with Agents that May Die2108.10293v3 · 'Eric Goubault, J'er'emy Ledent, Sergio Rajsbaum2021 · 8 citationsarXiv
Neural Network Based Model Predictive Control for an Autonomous Vehicle2107.14573v1 · Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot2021 · 4 citationsarXiv
Static analysis of ReLU neural networks with tropical polyhedra2108.00893v2 · Eric Goubault, S'ebastien Palumby, Sylvie Putot et al.2021 · 8 citationsarXiv
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts2107.12942v1 · Nicola Bernini, Mikhail Bessa, R'emi Delmas et al.2021 · 16 citationsarXiv
Tractable higher-order under-approximating AE extensions for non-linear systems2101.11536v1 · Eric Goubault, Sylvie Putot2021 · 4 citationsarXiv
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability2011.05524v2 · Franck Djeumou, Abraham P. Vinod, Eric Goubault et al.2020 · 11 citationsarXiv
On-The-Fly Control of Unknown Smooth Systems from Limited Data2009.12733v2 · Franck Djeumou, Abraham P. Vinod, Eric Goubault et al.2020 · 17 citationsarXiv
Algebraic coherent confluence and higher globular Kleene algebras2006.16129v5 · Cameron Calk, Eric Goubault, Philippe Malbos et al.2020 · 8 citationsLogical Methods in Computer Science, Volume 18, Issue 4 (November 28, 2022) lmcs:6743
Knowledge and simplicial complexes2002.08863v1 · Hans van Ditmarsch, Eric Goubault, Jeremy Ledent et al.2020 · 16 citationsarXiv
A dynamic epistemic logic analysis of the equality negation task1909.03263v1 · Eric Goubault, Marijana Lazic, Jeremy Ledent et al.2019 · 9 citationsLong version of DaLI 2019 conference paper
Directed Homotopy in Non-Positively Curved Spaces1908.06684v4 · Eric Goubault, Samuel Mimram2019 · 7 citationsLogical Methods in Computer Science, Volume 16, Issue 3 (July 13, 2020) lmcs:5731
Directed topological complexity1812.09382v1 · Eric Goubault, Michael Farber, Aur'elien Sagnier2018 · 11 citationsarXiv
Time-reversal homotopical properties of concurrent systems1812.05062v1 · Cameron Calk, Eric Goubault, Philippe Malbos2018 · 3 citationsarXiv
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability1809.03095v1 · 'Eric Goubault ('Ecole Polytechnique), J'er'emy Ledent ('Ecole Polytechnique), Sergio Rajsbaum (UNAM)2018 · 19 citationsEPTCS 277, 2018, pp. 73-87
On directed homotopy equivalences and a notion of directed topological complexity1709.05702v2 · Eric Goubault2017 · 6 citationsarXiv
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System1709.02561v1 · Benjamin Martin, Khalil Ghorbal, Eric Goubault et al.2017 · 2 citationsEPTCS 257, 2017, pp. 91-104
Models of fault-tolerant distributed computation via dynamic epistemic logic1704.07883v1 · Eric Goubault, Sergio Rajsbaum2017 · 2 citationsarXiv
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing1703.11005v2 · Eric Goubault, Sergio Rajsbaum2017 · 3 citationsarXiv
General inner approximation of vector-valued functions1310.1709v1 · Mullier Olivier, 'Eric Goubault, Michel Kieffer et al.2013 · 8 citationsarXiv
Robustness analysis of finite precision implementations1309.3910v1 · Eric Goubault, Sylvie Putot2013 · 41 citationsarXiv
Trace Spaces: an Efficient New Technique for State-Space Reduction1204.0414v1 · Lisbeth Fajstrup, Eric Goubault (CEA LIST), Emmanuel Haucourt (CEA LIST) et al.2012 · 19 citationsESOP - 21st European Symposium on Programming 7211 (2012) 274-294
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis1111.5223v2 · Assal'e Adj'e (LIX, Ecole Polytechnique, CEA LIST) et al.2011 · 30 citationsLogical Methods in Computer Science, Volume 8, Issue 1 (January 19, 2012) lmcs:687
Formal Relationships Between Geometrical and Classical Models for Concurrency1004.2818v2 · Eric Goubault (CEA LIST), Samuel Mimram (CEA LIST)2010 · 24 citationsElectronic Notes in Theoretical Computer Science 283 (2012) 77-109
A Logical Product Approach to Zonotope Intersection1002.2236v3 · Khalil Ghorbal, Eric Goubault, Sylvie Putot2010 · 53 citationsarXiv
The tropical double description method1001.4119v2 · Xavier Allamigeon, Stephane Gaubert, Eric Goubault2010 · 31 citationsarXiv
A zonotopic framework for functional abstractions0910.1763v1 · Eric Goubault, Sylvie Putot2009 · 36 citationsarXiv
Computing the vertices of tropical polyhedra using directed hypergraphs0904.3436v4 · Xavier Allamigeon, Stephane Gaubert, Eric Goubault2009 · 52 citationsDiscrete & Computational Geometry, March 2013, Volume 49, Issue 2, pp 247-279
Covering space theory for directed topology0812.1157v2 · Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan2008 · 6 citationsTheory and Applications of Categories, Vol. 22, 2009, No. 9, pp 252-268
Perturbed affine arithmetic for invariant computation in numerical program analysis0807.2961v1 · Eric Goubault, Sylvie Putot2008 · 13 citationsarXiv
Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs0806.1160v4 · Assal'e Adj'e, St'ephane Gaubert, Eric Goubault2008 · 10 citationsJournal of Mathematical Analysis and Applications, Volume 410(1), 2014, pp. 227-240
Topological Deformation of Higher Dimensional Automatamath/0107060v2 · Philippe Gaucher, Eric Goubault2001 · 56 citationsHomology Homotopy and Applications,vol. 5 (2):p.39-82, 2003
Career total: 241 works. 50 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.