Validation of multiagent systems by symbolic model checking

DOI10.1007/3-540-36540-0_3MaRDI QIDQ4413373zbMATH OpenFDO

Authors Massimo Benerecetti, Alessandro Cimatti

Publication date 17 July 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/2585/25850032.htm

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence (68T99) Computing methodologies and applications (68U99)

Recommendations

• Symbolic verification of multiagent graphical decision models
• scientific article; zbMATH DE number 1202873
• Model checking-based analysis of multiagent systems
• scientific article; zbMATH DE number 2215634
• Well-structured model checking of multiagent systems
• Model-checking for heterogeneous multi-agent systems
• Parameterised verification for multi-agent systems
• Specification and Verification of Multi-Agent Systems

Cited in

(9)

• Practical verification of multi-agent systems against \textsc{Slk} specifications
• Parameterised verification for multi-agent systems
• Symbolic verification of multiagent graphical decision models
• scientific article; zbMATH DE number 1202873 (Why is no real title available?)
• Model checking-based analysis of multiagent systems
• SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
• scientific article; zbMATH DE number 2215634 (Why is no real title available?)
• Artificial Intelligence: Methodology, Systems, and Applications
• Compositional verification of a multi-agent system for one-to-many negotiation

This page was built for publication: Validation of multiagent systems by symbolic model checking

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