КОРСАКОВ, А. М.; ИВАНОВА, В. В.; ПОЛОВКО, С. А. Формальный язык описания навигационного поведения мобильных роботов. Информатика и автоматизация, v. 25, n. 4, p. 1025-1056, 3 jul. 2026.