Teaming Linear Temporal Logic: Coordinated Behavior Specification in Heterogeneous Multi-Agent Systems

作者: Thomas Fawcett, George Konidaris