TY CONF TI ГИБРИДНАЯ АРХИТЕКТУРА КООПЕРАТИВНОЙ НАВИГАЦИИ МОБИЛЬНЫХ РОБОТОВ С ФОРМАЛЬНЫМИ ГАРАНТИЯМИ БЕЗОПАСНОСТИ KW кооперативная навигация KW многоагентные системы KW мобильные роботы KW избегание столкновений KW RVO KW гибридная архитектура KW формальные гарантии безопасности KW RRT* JO МОДЕЛИРОВАНИЕ ИНФОРМАЦИОННЫХ СИСТЕМ И ТЕХНОЛОГИЙ – 2026 AU Евчук, И.Р. AU Заревич, А.И. PY 2026 PB Воронежский государственный лесотехнический университет имени Г.Ф. Морозова