| |
Валиев, М. К.
Системы агентов, управляемых логическими программами: сложность верификации [Текст] / М. К. Валиев, М. И. Дехтярь, А. Я. Диковский
// Программирование. – 2009. – № 5. – С. 37-56.
Рассматривается сложность программы верификации поведения систем взаимодействующих интеллектуальных агентов. |
