44 citations · 46 across the 8 of their papers we have counts for
3 papers · 1 filter
CatlNet: Learning Communication and Coordination Policies from CaTL+ Specifications
Wenliang Liu, Kevin Leahy, Zachary Serlin +1
In this paper, we propose a learning-based framework to simultaneously learn the communication and distributed control policies for a heterogeneous multi-agent system (MAS) under c…
Robust Multi-Agent Coordination from CaTL+ Specifications
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…
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications
Mingyu Cai, Makai Mann, Zachary Serlin +2
This paper explores continuous-time control synthesis for target-driven navigation to satisfy complex high-level tasks expressed as linear temporal logic (LTL). We propose a model-…