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