Моделирование управления группой мобильных роботов с использованием символьного планированиятезисы доклада