Multi-agent Path Planning using Pacti

This case study uses Pacti to find the strategy for multiple robots avoiding collisions while navigating on a grid.

Pacti's documentation can be found on the website at www.pacti.org. For discussions on the use of Pacti or this case study, please visit the Pacti Discussion Forum. The source code for developers can be found here.

This is the Robotarium implementation of a strategy for five robots found using Pacti:

Dependencies

This case study requires Pacti, to automatically install Pacti please run the following command in this directory: pdm install

Run the Case Study

Run multiagent.ipynb to run the case study.