Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

, Москва, 2006
Источник:
Труды X национальной конференции по искусственному интеллекту с международным участием, Обнинск,Физматлит, Москва, 2006
Авторы: Бурмистров М.Ю., Валиев М.К., Дехтярь М.И., Диковский А.Я.
О верификации динамических свойств систем взаимодействующих агентов
Аннотация:
Приводится обзор результатов авторов по проблеме верификации динамических свойств систем взаимодействующих интеллектуальных агентов. Динамические свойства задаются в терминах некоторых вариантов временной логики первого порядка.
Ключевые слова:
Мультиагентные системы, временные логики, проверка на моделях, вычислительная сложность
Язык публикации: русский, страниц: 8
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст: Сведения об авторах:
  • Бурмистров М.Ю.
  • Валиев Марс Котдусович,  ,  ИПМ им. М.В. Келдыша РАН
  • Дехтярь М.И.
  • Диковский А.Я.