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

, Москва.,Физматлит, 2007
Источник:
Труды Международных научно-технических конференций 'Интеллектуальные системы (IEEE AIS'07)' и 'Интеллектуальные САПР (CAD-2007)', т. I., , Москва.,Физматлит, 2007
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
О верификации свойств вероятностных мультиагентных систем
Аннотация:
Результаты предыдущей работы по верификации динамических свойств мультиагентных систем с вероятностными каналами связи обобщаются на случай систем, когда дополнительно вероятностными могут быть действия агентов.
Язык публикации: русский, страниц: 8
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст: Сведения об авторах:
  • Валиев Марс Котдусович,  ,  ИПМ им. М.В. Келдыша РАН
  • Дехтярь М.И.
  • Диковский А.Я.