Sciweavers

BIRTHDAY
2008
Springer

Temporal Verification of Probabilistic Multi-Agent Systems

13 years 5 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of actions. We show how such systems can be polynomially transformed to finite state Markov chains. This allows to transfer known results on verifying temporal properties of the finite state Markov chains to the probabilistic multi-agent systems of considered type.
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars
Added 12 Oct 2010
Updated 12 Oct 2010
Type Conference
Year 2008
Where BIRTHDAY
Authors Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev
Comments (0)