1 paper · 1 filter
Joe Eappen, Zikang Xiong, Dipam Patel +2
Existing methods for safe multi-agent control using logic specifications like Signal Temporal Logic (STL) often face scalability issues. This is because they rely either on single-…