https://123dok.org/document/wq2vd1py-modeling-supervisory-control-in-multi-robot-applications.html