16 citations · 40 across the 20 of their papers we have counts for
3 papers · 1 filter
Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic
Lydia Bakiri, Jérémy Dubut, Sergio Mover
Verification of multi-agent systems requires the ability to check meticulous topological properties when it comes to agents that can move through space in continuous time. This dem…
Homological Algebra in Abelian Framed Bicategories: Exact Sequences and Embedding Theorems
Augustin Albert, Jérémy Dubut, Eric Goubault
We introduce abelian framed bicategories, which are particular framed bicategories that are locally abelian, and show that they are suitable for developing homology and cohomology…
Variants of Higher-Dimensional Automata
Hugo Bazille, Jérémy Dubut, Uli Fahrenberg +1
The theory of higher-dimensional automata (HDAs) has seen rapid progress in recent years, and first applications, notably to Petri net analysis, are starting to show. It has, howev…