Корсаков, А. М., Иванова, В. В., & Половко, С. А. (2026). Формальный язык описания навигационного поведения мобильных роботов. Информатика и автоматизация, 25(4), 1025-1056. https://doi.org/10.15622/ia.25.4.2