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