A verification method for a commitment strategy of the BDI architecture

MaRDI QIDQ2844927zbMATH OpenFDO

Authors Tadashi Araragi, Shiro Takata, Nide Naoyuki

Publication date 20 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104805929

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• On the SMT-based verification of communicative commitments
• Mechanical verification on strategies
• scientific article; zbMATH DE number 2088161
• Symbolic Model Checking Commitment Protocols Using Reduction
• scientific article; zbMATH DE number 2215634

Cited in

(1)

• A Mechanically Verified AIG-to-BDD Conversion Algorithm

This page was built for publication: A verification method for a commitment strategy of the BDI architecture

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