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