О верификации динамических свойств систем взаимодействующих агентов
Аннотация:
Приводится обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Динамические свойства задаются в терминах некоторых вариантов временной логики первого порядка.
Ключевые слова:
Мультиагентные системы, временные логики, проверка на моделях, вычислительная сложность
