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