scientific article; zbMATH DE number 1950649

MaRDI QIDQ4413373zbMATH OpenFDO

Authors Massimo Benerecetti, Alessandro Cimatti

Publication date 17 July 2003

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
• scientific article; zbMATH DE number 1759731
• 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?)
• scientific article; zbMATH DE number 1759731 (Why is no real title available?)
• 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:

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