доклад . Кондратьев Д.А., Гаранина Н.О.“Формальная верификация искусственного интеллекта“

Кондратьев Дмитрий Александрович (к.ф.-м.н., научный сотрудник, Институт систем информатики им. А.П. Ершова СО РАН) , Гаранина Наталья Олеговна (к.ф.-м.н., старший научный сотрудник, Институт систем информатики им. А.П. Ершова СО РАН) “Формальная верификация искусственного интеллекта“