On complexity of verification of interacting agents' behavior

15 years 2 months ago

Download www.keldysh.ru

This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to the transition system induced by the definition of the multi-agent system. We establish various tight complexity bounds of the behavior properties under natural structural and semantic restrictions on agent programs and actions. Key words: Multi-Agent Systems, Temporal logics,

Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars

Real-time Traffic

APAL 2006 | Classical Temporal Logic | Multi-agent Systems | Temporal Logics |

claim paper

» Automated analysis and verification of agent behavior

» Verifying Interlevel Relations Within MultiAgent Systems

» Empirical Analysis for Agent System Comprehension and Verification

» On Role of Implicit Interaction and Explicit Communications in Emergence of Social Behavio...

» Model checking cobweb protocols for verification of HTML frames behavior

» Discovery of Emergent Natural Laws by Hierarchical MultiAgent Systems

» Global emergent behaviors in clouds of agents

» Building Brains for Rooms Designing Distributed Software Agents

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2006
Where	APAL
Authors	Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars K. Valiev

Comments (0)

Sciweavers

On complexity of verification of interacting agents' behavior

APAL 2006 | Classical Temporal Logic | Multi-agent Systems | Temporal Logics |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers