conftrace_

safe plans

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

decentralized fashion (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