GitHub repository: rcpsl/SMC-LTL
Primary language: Python
Description: SMC-LTL: SMC-Based LTL MultiRobot Motion Planner