Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением - Шалыто, Анатолий Абрамович; Царев, Федор Николаевич; Егоров, Кирилл Викторович (Труды СПИИРАН, 2010)