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