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