2026
Teaming Linear Temporal Logic: Coordinated Behavior Specification in Heterogeneous Multi-Agent Systems
RSS 2026poster
Linear Temporal Logic (LTL) is a formal language that can be used to specify robot behaviors and goal states. We extend LTL to enable the specification of complex cooperative behaviors in a large multi-agent system (MAS). The extended language, TeamingLTL, models features commonly present in MAS suc…