Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе спецификации.

1. Егоров К.В., Шалыто А.А., “Методика верификации автоматных программ”, Информационно-управляющие системы, 2008, № 5, 15–21
2. Егоров К.В., Шалыто А.А., “Разработка верификатора автоматных программ”, Научно-технический вестник СПбГУ ИТМО, 2008, № 53, 177–188
3. Егоров К.В., Царев Ф.Н., Шалыто А.А., “Применение генетического программирования для построения автоматов управления системами со сложным поведением на основе обучающих примеров и спецификации”, Научно-технический вестник СПбГУ ИТМО, 2010, № 69, 81–85
4. Егоров К.В., Царев Ф.Н., “Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением”, Информационные технологии и системы, ИППИ РАН, М., 2009, 72–82
5. Егоров К.В., Парфенов В.Г., Царев Ф.Н., “Совместное применение генетического программирования и верификации моделей для построения автоматов управления системами со сложным поведением”, Труды XVII Всероссийской научно-методической конференции “Телематика`2010”, т. 2, 2010, 344–345

• Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики