GitHub repository: wpi-automata/lomap-TL-comp
Primary language: Python
Description: LTL Optimal Multi-Agent Planner (LOMAP)