Eric Goubault

From MaRDI portal
Person:246147

Available identifiers

zbMath Open goubault.ericMaRDI QIDQ246147

List of research outcomes

PublicationDate of PublicationType
A few lessons learned in reinforcement learning for quadcopter attitude control2024-02-21Paper
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability2023-10-06Paper
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane2023-09-07Paper
A many-sorted epistemic logic for chromatic hypergraphs2023-08-01Paper
Inner and outer approximating flowpipes for delay differential equations2023-05-05Paper
Persistent homology of directed spaces2023-05-05Paper
Abstract strategies and coherence2023-03-30Paper
A semi-abelian approach to directed homology2023-01-16Paper
Algebraic coherent confluence and higher globular Kleene algebras2023-01-09Paper
https://portal.mardi4nfdi.de/entity/Q50911062022-07-21Paper
Static analysis of ReLU neural networks with tropical polyhedra2022-06-17Paper
https://portal.mardi4nfdi.de/entity/Q33848792021-12-17Paper
A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die2021-08-23Paper
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks2021-08-03Paper
A simplicial complex model for dynamic epistemic logic to study distributed task computability2021-06-03Paper
A topological method for finding invariant sets of continuous systems2021-04-13Paper
Directed Homotopy in Non-Positively Curved Spaces2020-07-30Paper
A dynamic epistemic logic analysis of the equality negation task2020-07-08Paper
Time-reversal homotopical properties of concurrent systems2020-05-27Paper
Directed topological complexity2020-03-06Paper
Inner and outer reachability for the verification of control systems2019-10-22Paper
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities2019-09-17Paper
From geometric semantics to asynchronous computability2018-08-24Paper
Geometric and combinatorial views on asynchronous computability2018-08-13Paper
https://portal.mardi4nfdi.de/entity/Q46086772018-03-21Paper
Directed homology theories and Eilenberg-Steenrod axioms2018-02-22Paper
A topological method for finding invariant sets of continuous systems2017-10-27Paper
On directed homotopy equivalences and a notion of directed topological complexity2017-09-17Paper
https://portal.mardi4nfdi.de/entity/Q52783952017-07-19Paper
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems2017-07-11Paper
A Topological Method for Finding Invariant Sets of Switched Systems2017-05-19Paper
Inner approximated reachability analysis2017-05-16Paper
Future Path-components in Directed Topology2016-07-08Paper
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach2016-06-17Paper
A geometric view of partial order reduction2016-04-12Paper
A zonotopic framework for functional abstractions2016-02-25Paper
Iterated chromatic subdivisions are collapsible2015-11-18Paper
Natural Homology2015-11-04Paper
Formal Relationships Between Geometrical and Classical Models for Concurrency2015-03-18Paper
Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs2015-03-10Paper
Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram2015-02-11Paper
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations2014-07-22Paper
General inner approximation of vector-valued functions2013-10-07Paper
Computing the vertices of tropical polyhedra using directed hypergraphs2013-03-20Paper
Abstract interpretation meets convex optimization2012-07-13Paper
Trace Spaces: An Efficient New Technique for State-Space Reduction2012-06-22Paper
A generalization of \(p\)-boxes to affine arithmetic2012-04-04Paper
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis2012-04-03Paper
https://portal.mardi4nfdi.de/entity/Q31137352012-01-23Paper
Policy Iteration within Logico-Numerical Abstract Domains2011-10-07Paper
Static Analysis of Finite Precision Computations2011-02-15Paper
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis2010-05-04Paper
Covering space theory for directed topology2009-05-27Paper
Static Analysis of Numerical Algorithms2009-03-12Paper
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic2009-03-03Paper
Inferring Min and Max Invariants Using Max-Plus Polyhedra2008-08-28Paper
Components of the fundamental category. II2007-12-06Paper
Numerical Software with Result Verification2007-09-28Paper
Static Analysis by Policy Iteration on Relational Domains2007-09-04Paper
CONCUR 2005 – Concurrency Theory2006-11-01Paper
Algebraic topology and concurrency2006-08-16Paper
Computer Aided Verification2006-01-10Paper
https://portal.mardi4nfdi.de/entity/Q30443132004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q47383562004-08-11Paper
Components of the fundamental category2004-05-27Paper
Topological deformation of higher dimensional automata2004-02-22Paper
On the geometry of intuitionistic S4 proofs2003-09-25Paper
Some geometric perspectives in concurrency theory2003-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47787052002-11-19Paper
Geometry and concurrency: a user's guide2000-10-10Paper
https://portal.mardi4nfdi.de/entity/Q40160181992-12-17Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Eric Goubault