Р. В. Хелемендик

В работе рассмотрена дискретная модель лабиринта, в котором движутся роботы, управляемые двумя сторонами, со следующими типами взаимодействия этих сторон: сотрудничеством, противоборством. Задача построения оптимальной стратегии навигации роботов в лабиринте записана на логическом языке игровых программ (ИП), а искомая стратегия в случае её существования создается ИП. Решение указанной задачи проиллюстрировано примерами

1. Портиш Л., Шаркози Б. 600 окончаний: Пер. с венг. А.Лилиенталя. М.: Физкультура и спорт. 1979.
2. Хелемендик Р.В. Алгоритм распознавания выполнимости формул логики ветвящегося времени и эффективный алгоритм построения выводов общезначимых формул из аксиом // Математические вопросы кибернетики. Вып. 15: Сб. статей / под редакцией О.Б.Лупанова. М.: Физматлит. 2006. C.217-266.
3. Хелемендик Р.В. О расширении типов игрового взаимодействия в языке игровых программ // Материалы VI молодежной научной школы по дискретной математике и ее приложениям (Москва, 16-21 апреля 2007г.). Часть III / под редакцией А.В.Чашкина. 2007. С.30-35. URL: http://library.keldysh.ru/prep_vw.asp-pid=2846
4. Хелемендик Р.В. О соотношении задачи синтеза игровых программ и распознавания выполнимости формул логики ветвящегося времени. // Материалы IX Международного семинара «Дискретная математика и ее приложения», посвященного 75-летию со дня рождения О.Б.Лупанова (Москва, МГУ, 18-23 июня 2007 г.) / под редакцией О.М.Касим-Заде. М.: Изд-во механико-математического факультета МГУ. 2007. С. 183-186.
5. Хелемендик Р.В. О единой формальной записи всех допустимых ходов в любой шахматной позиции. // Материалы XVI Международной школы-семинара «Синтез и сложность управляющих систем» (Санкт-Петербург, 26-30 июня 2006г.) / под редакцией О.Б.Лупанова. М.: Изд-во механико-математического факультета МГУ. 2006. С.108-112.
6. Emerson E.A. Automated temporal reasoning about reactive systems // Logics for concurrency. Lecture Notes in Computer Science. V. 1043. Berlin: Springer. 1996. P. 41-101.