activity
20132026
most citedGoal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis

6 citations · 11 across the 9 of their papers we have counts for

collaborators
Showing cs.MAShow all

1 paper · 1 filter

cs.MA2026

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…