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:
This case study requires Pacti, to automatically install Pacti please run the following command in this directory:
pdm install
Run multiagent.ipynb to run the case study.