54 citations · 312 across the 36 of their papers we have counts for
4 papers · 1 filter
On directed homotopy equivalences and a notion of directed topological complexity
Eric Goubault
This short note introduces a notion of directed homotopy equivalence and of "directed" topological complexity (which elaborates on the notion that can be found in e.g. Farber's boo…
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Benjamin Martin, Khalil Ghorbal, Eric Goubault +1
We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle. Such maneuver requires that the vehicle reaches a neighborhood of its s…
Models of fault-tolerant distributed computation via dynamic epistemic logic
Eric Goubault, Sergio Rajsbaum
The computability power of a distributed computing model is determined by the communication media available to the processes, the timing assumptions about processes and communicati…
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing
Eric Goubault, Sergio Rajsbaum
The usual epistemic S5 model for multi-agent systems is a Kripke graph, whose edges are labeled with the agents that do not distinguish between two states. We propose to uncover th…