Complexity of multi-agent systems behavior

DOI10.1007/3-540-45757-7_11MaRDI QIDQ4708912zbMATH OpenFDO

Authors M. K. Valiev, Michael I. Dekhtyar, Alexandre Dikovsky

Publication date 20 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2424/24240125.htm

zbMATH Keywords

ComplexityIntelligent agentLogic programModel checkingMulti-Agent SystemTemporal logics

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• On feasible cases of checking multi-agent systems behavior.
• On complexity of verification of interacting agents' behavior
• Systems of agents controlled by logical programs: complexity of verification
• Specification and Verification of Multi-Agent Systems
• scientific article; zbMATH DE number 2064229

Cited in

(8)

• On feasible cases of checking multi-agent systems behavior.
• Biography of Alexandre Dikovsky
• On complexity of verification of interacting agents' behavior
• Stability and strategic time-dependent behaviour in multiagent systems
• A multi-facet approach to dynamic agent systems
• Artificial Intelligence: Methodology, Systems, and Applications
• Abstract State Machines 2004. Advances in Theory and Practice
• The complexity of achievement and maintenance problems in agent-based systems

This page was built for publication: Complexity of multi-agent systems behavior

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4708912)