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