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

Статья, Берлин, Германия, 2007
Издание:
Springer Verlag, Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday.Lecture Notes in Computer Science
Авторы: Валиев М.К., Дехтярь М.И., Диковский А.Я.
Верификация временных свойств вероятностных мультиагентных систем
Аннотация:
Рассматриваются вероятностные системы взаимодействующих интеллектуальных агентов. В этих системах вероятностными могут быть каналы связи и действия агентов. Показано, как такие вероятностные мультиагентные системы могут быть преобразованы в конечные Марковские цепи. Это позволяет перенести известные результаты о сложности верификации динамических свойств Марковских цепей на такие вероятностные мультиагентные системы.
Язык публикации: английский, страниц: 10
Направление исследований:
Программирование, параллельные вычисления, мультимедиа
Полный текст:
  (PDF)
Сведения об авторах:
  • Валиев Марс Котдусович,  ,  ИПМ им. М.В. Келдыша РАН
  • Дехтярь М.И.
  • Диковский А.Я.