Шалыто, А. А., Царев, Ф. Н., & Егоров, К. В. (2010). Совместное применение генетического программирования и верификации для построения автоматов управления системами со сложным поведением. Труды СПИИРАН, 4(15), 123-135. https://doi.org/10.15622/sp.15.7