conftrace_

decentralized fashion

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

safe plans (1) multi-agent collision avoidance (1) temporal specification (1) graph neural network (1) signal temporal logic (1)

Papers

Scaling Safe Multi-Agent Control for Signal Temporal Logic Specifications CoRL 2024