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