1 paper · 1 filter
Joe Eappen, Zikang Xiong, Shreyash S. Iyengar +1
Multi-agent systems in the real-world (e.g., drone swarms, autonomous cars, warehouse robots) must satisfy rich, temporal tasks while avoiding collisions. Signal Temporal Logic (ST…