Currently. there is a lack of developer-friendly software tools to formally address multi-robot coordination problems and obtain robust. efficient. and predictable strategies. https://theplayfulcollectivees.shop/