Petri Net Toolbox for Multi-Robot Planning under Uncertainty

Currently, there is a lack of developer-friendly software tools to formally address multi-robot coordination problems and obtain robust, efficient, and predictable strategies.This paper introduces a software toolbox that encapsulates, in one single package, modeling, planning, and execution algorithms.It implements a state-of-the-art approach to re

read more