44 citations · 46 across the 8 of their papers we have counts for
1 paper · 1 filter
Wenliang Liu, Kevin Leahy, Zachary Serlin +1
We consider the problem of controlling a heterogeneous multi-agent system required to satisfy temporal logic requirements. Capability Temporal Logic (CaTL) was recently proposed to…