TY  CONF
TI  HYBRID ARCHITECTURE OF COOPERATIVE NAVIGATION OF MOBILE ROBOTS WITH FORMAL GUARANTEES OF SAFETY
KW  cooperative navigation
KW  multi-agent systems
KW  mobile robots
KW  collision avoidance
KW  RVO
KW  hybrid architecture
KW  formal safety guarantees
KW  RRT*
JO  MODELING INFORMATION SYSTEMS AND TECHNOLOGIES – 2026
AU  Evchuk, I.R.
AU  Zarevich, A.I.
PY  2026
PB  FSBE Institution of Higher Education Voronezh State University of Forestry and Technologies named after G.F. Morozov