KIAM Main page Web Library  •  Publication Searh  Русский 
Publication

Article, Moscow, 2009
Publisher:
Труды V Международной научно-практической конференции.'Интегрированные модели и мягкие вычисления в искусственном интеллекте', т.1. М., Физматлит, 2009, 198-206
Authors: Valiev M.K., Dekhtyar M.I.
Complexity of verification of multi-agent systems with probabilistic states and programs
Abstract:
In earlier papers we have shown that systems of interacting intelligent agents with probabilistic communication channels and actions can be simulated by some finite Matrkov chains. Here we generalize this result to systems of agents which in addition have probabilistic states and control programs, too.This permits to generalize results on verification of behavior of probabilistic multi-agent systems.
Publication language: russian, pages: 10
Research direction:
Programming, parallel computing, multimedia
Source text:
  (PDF)