Home

Welcome to the SMC-LTL wiki!

This repository contains code for SMC-Based LTL MultiRobot Motion Planner. Motion planning objective for two scenarios using reach-avoid and LTL specification are also provided as testcase examples.

• Installation and Dependencies Setup: This page goes over the different packages and dependencies that need to be installed before running the motion planner package.

• Writing a Reach Avoid Testcase: Once we setup the dependencies, we can start running the sample testcases or write our own ones.

  • How to define a workspace
  • How to define robot start and goal positions?
  • Running the solver
  • Running the complete testcase

• Understanding MultiRobot Motion Planner: This page goes over some of the functions and parameters for the motion planner.

  • Solve For A Particular Horizon
  • Workspace Constraints