%0 Conference Article %T HYBRID ARCHITECTURE OF COOPERATIVE NAVIGATION OF MOBILE ROBOTS WITH FORMAL GUARANTEES OF SAFETY %A Evchuk, I.R. %A Zarevich, A.I. %K cooperative navigation, multi-agent systems, mobile robots, collision avoidance, RVO, hybrid architecture, formal safety guarantees, RRT* %J MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2026 %D 2026 %P 9 %I FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov