Eric Goubault
Orcid: 0000-0002-3198-1863Affiliations:
- École Polytechnique, Palaiseau, France
According to our database1,
Eric Goubault
authored at least 123 papers
between 1991 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Knowledge in multi-robot systems: an interplay of dynamics, computation and communication.
CoRR, January, 2025
2024
J. Appl. Comput. Topol., December, 2024
J. Appl. Comput. Topol., September, 2024
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts.
Eng. Appl. Artif. Intell., January, 2024
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane.
Int. J. Approx. Reason., 2024
Inner and outer approximate quantifier elimination for general reachability problems.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks.
Proceedings of the Formal Methods - 26th International Symposium, 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
2023
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.
IEEE Trans. Autom. Control., August, 2023
CoRR, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
2022
Log. Methods Comput. Sci., 2022
Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties.
IEEE Control. Syst. Lett., 2022
Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.
Proceedings of the Learning for Dynamics and Control Conference, 2022
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022
Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022
2021
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks.
J. Log. Algebraic Methods Program., 2021
Inf. Comput., 2021
CoRR, 2021
Proceedings of the Static Analysis - 28th International Symposium, 2021
Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Proceedings of the Relational and Algebraic Methods in Computer Science, 2021
2020
Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances.
IEEE Control. Syst. Lett., 2020
CoRR, 2020
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.
Proceedings of the Software Verification - 12th International Conference, 2020
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020
2019
Proceedings of the 33rd International Symposium on Distributed Computing, 2019
Proceedings of the Dynamic Logic. New Trends and Applications, 2019
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
2018
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
Distributed Comput., 2018
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
Proceedings of the 32nd International Symposium on Distributed Computing, 2018
Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).
Proceedings of the Joint Proceedings of the CME-EI, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
ACM Trans. Embed. Comput. Syst., 2017
CoRR, 2017
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.
Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017
CoRR, 2017
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing.
CoRR, 2017
Appl. Categorical Struct., 2017
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
2016
ACM Trans. Embed. Comput. Syst., 2016
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
2015
Proceedings of the Distributed Computing - 29th International Symposium, 2015
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015
2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials.
Proceedings of the American Control Conference, 2014
2013
Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013
Discret. Comput. Geom., 2013
Proceedings of the Verified Software: Theories, Tools, Experiments, 2013
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT.
Proceedings of the Static Analysis - 20th International Symposium, 2013
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013
2012
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Log. Methods Comput. Sci., 2012
Proceedings of the Static Analysis - 19th International Symposium, 2012
Proceedings of the Programming Languages and Systems, 2012
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012
2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the Computer Safety, Reliability, and Security, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010
Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010
Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
Proceedings of the Formal Methods for Industrial Critical Systems, 2009
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
2008
CoRR, 2008
Proceedings of the Static Analysis, 15th International Symposium, 2008
2007
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.
Proceedings of the Static Analysis, 14th International Symposium, 2007
Proceedings of the Formal Methods for Industrial Critical Systems, 2007
Proceedings of the Programming Languages and Systems, 2007
2006
Proceedings of the Static Analysis, 13th International Symposium, 2006
2005
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
2004
2003
Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003
Proceedings of the Numerical Software with Result Verification, 2003
2002
Proceedings of the 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, 2002
Proceedings of the LATIN 2002: Theoretical Informatics, 2002
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.
Proceedings of the Programming Languages and Systems, 2002
2001
Proceedings of the Static Analysis, 8th International Symposium, 2001
2000
Proceedings of the 2nd Workshop on Geometry and Topology in Concurrency theory, 2000
1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
1996
Proceedings of the Programming Languages and Systems, 1996
1995
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995
1993
Proceedings of the Static Analysis, Third International Workshop, 1993
1992
1991
Low bit-rate hybrid coder using hierarchical motion compensation and low complexity vector quantization.
Proceedings of the 1991 International Conference on Acoustics, 1991