Методы построения конечных автоматов на основе ...

178РЕСУРСЫ СЕТИ ИНТЕРНЕТ123. Бедный Ю. Д., Шалыто А. А. Применение генетических алгоритмовдля построения автоматов в задаче «Умный муравей». СПбГУИТМО, 2007. http://is.ifmo.ru/works/ant124. Государственный контракт «Применение методов искусственногоинтеллекта в разработке управляющих программных систем».Промежуточный отчет по II этапу. СПбГУ ИТМО, 2010.http://is.ifmo.ru/science/_nk-408-15-2.pdf125. Государственный контракт «Разработка технологии верификацииуправляющих программ со сложным поведением, построенных наоснове автоматного подхода». Промежуточный отчет по I этапу«Выбор направления исследований и базовых компонентов». СПбГУИТМО, 2007. http://is.ifmo.ru/verification/_2007_01_reportverification.pdf126. Государственный контракт «Разработка технологии верификацииуправляющих программ со сложным поведением, построенных наоснове автоматного подхода». Промежуточный отчет по II этапу«Теоретические исследования поставленных перед НИР задач».СПбГУ ИТМО, 2007. http://is.ifmo.ru/verification/_2007_02_reportverification.pdf127. Государственный контракт «Разработка технологии верификацииуправляющих программ со сложным поведением, построенных наоснове автоматного подхода». Промежуточный отчет по III этапу«Экспериментальные исследования поставленных перед НИР задач».СПбГУ ИТМО, 2007. http://is.ifmo.ru/verification/_2007_02_reportverification.pdf128. Государственный контракт «Разработка технологии верификацииуправляющих программ со сложным поведением, построенных наоснове автоматного подхода». Заключительный отчет по IV этапу