5 papers
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…
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…
Semi-simplicial Set Models for Distributed Knowledge
Eric Goubault, Roman Kniazev, Jérémy Ledent +1
In recent years, a new class of models for multi-agent epistemic logic has emerged, based on simplicial complexes. Since then, many variants of these simplicial models have been in…