Geodesic
On complexity of verification of nondeterministic probabilistic multiagent systems
Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 41-50

Voir la notice de l'article provenant de la source Math-Net.Ru

Probabilistic systems of interacting nondeterministic intelligent agents are considered. States of the agents in these systems are some probabilistic databases, and the activity of the agents is controlled by some probabilistic logic programs. Moreover, communication channels between agents are also probabilistic. We show how such systems can be polynomially transformed to finite state Markov decision processes. This allows one to transfer the known results on verifying temporal properties of the finite state Markov processes to the probabilistic multi-agent systems of considered type.
Keywords: probabilistic multi-agent systems, Markov chains and decision processes, temporal logics, verification of dynamic properties. 
@article{MAIS_2010_17_4_a4,
     author = {M. K. Valiev and M. I. Dekhtyar'},
     title = {On complexity of verification of nondeterministic probabilistic multiagent systems},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {41--50},
     publisher = {mathdoc},
     volume = {17},
     number = {4},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a4/}
}
TY  - JOUR
AU  - M. K. Valiev
AU  - M. I. Dekhtyar'
TI  - On complexity of verification of nondeterministic probabilistic multiagent systems
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2010
SP  - 41
EP  - 50
VL  - 17
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a4/
LA  - ru
ID  - MAIS_2010_17_4_a4
ER  - 
%0 Journal Article
%A M. K. Valiev
%A M. I. Dekhtyar'
%T On complexity of verification of nondeterministic probabilistic multiagent systems
%J Modelirovanie i analiz informacionnyh sistem
%D 2010
%P 41-50
%V 17
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a4/
%G ru
%F MAIS_2010_17_4_a4
M. K. Valiev; M. I. Dekhtyar'. On complexity of verification of nondeterministic probabilistic multiagent systems. Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 41-50. http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a4/