54 citations · 312 across the 36 of their papers we have counts for
41 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…
Simplicial Models for the Epistemic Logic of Faulty Agents
Eric Goubault, Roman Kniazev, Jeremy Ledent +1
In recent years, several authors have been investigating simplicial models, a model of epistemic logic based on higher-dimensional structures called simplicial complexes. In the or…
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…
Directed Homology and Persistence Modules
Eric Goubault
In this note, we give a self-contained account on a construction for a directed homology theory based on modules over algebras, linking it to both persistence homology and natural…
A many-sorted epistemic logic for chromatic hypergraphs
Eric Goubault, Roman Kniazev, Jérémy Ledent
We propose a many-sorted modal logic for reasoning about knowledge in multi-agent systems. Our logic introduces a clear distinction between participating agents and the environment…