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

Article, Moscow, 2007
Publisher:
Труды Международных научно-технических конференций 'Интеллектуальные системы (IEEE AIS'07)' и 'Интеллектуальные САПР (CAD-2007)', т. I.,
Authors: Valiev M.K., Дехтярь М.И., Диковский А.Я.
On verifying properties of probabilistic multi-agent systems
Abstract:
Results of a previous authors` paper on verifying multi-agent systems with probabilistic communication channels are generalized to systems with agents whose actions can be probabilistic.
Publication language: russian,  pages: 8
Research direction:
Programming, parallel computing, multimedia
Russian source text:
List of publications citation:
Export link to publication in format:   RIS    BibTeX
About authors:
  • Valiev M. K.,  valiev@keldysh.ru,  KIAM RAS
  • Дехтярь М.И.
  • Диковский А.Я.
    		•