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…