On the SMT-based verification of communicative commitments

DOI10.16926/M.2016.21.14MaRDI QIDQ5040701zbMATH OpenOpenAlexFDO

Authors Bożena Woźna-Szcześniak, Ireneusz Szcześniak

Publication date 17 October 2022

Published in Scientific Issues Jan Długosz University in Częstochowa. Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.16926/m.2016.21.14

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Symbolic Model Checking Commitment Protocols Using Reduction
• SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
• Specifying and verifying systems of communicating agents in a temporal action logic
• Logics in Artificial Intelligence
• Bounded model checking for deontic interpreted systems

Cited in

(4)

• A verification method for a commitment strategy of the BDI architecture
• Verifying social expectations by model checking truncated paths
• Social commitments in time: satisfied or compensated
• scientific article; zbMATH DE number 2088161 (Why is no real title available?)

This page was built for publication: On the SMT-based verification of communicative commitments

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