/ifac_deadlocks_paper

Why Does Symmetry Cause Deadlocks ? IFAC World Congress 2020

Primary LanguageMATLABMIT LicenseMIT

Why Does Symmetry Cause Deadlocks ?

The Robotics Institute, Carnegie Mellon University

This repository contains MATLAB files to reproduce results from our paper Why Does Symmetry Cause Deadlocks? There are two folders, one for analysis and simulation results for two-robot deadlock, and another for results on three-robot deadlock. Analysis results refer to symbolic proofs of the lemmas and theorems in the paper.