SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

DOI10.3233/FI-2017-1519MaRDI QIDQ4595595zbMATH OpenFDO

Authors Warda El Kholy, Jamal Bentahar, Mohamed El-Menshawy, Hongyang Qu, Rachida Dssouli

Publication date 5 December 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

verificationexpressivenesscommitment action modalitiesconditional commitmentconditional commitment actionssymbolic model checker

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1330137
• mcmas: A Model Checker for Multi-agent Systems
• scientific article; zbMATH DE number 1950649
• Logics in Artificial Intelligence
• Model checking agent communication
• Mathematical Foundations of Computer Science 2004
• Symbolic model checking of actor-oriented high-level SystemC models with interval diagrams
• A compositional automata-based approach for model checking multi-agent systems

Cited in

(2)

• On the SMT-based verification of communicative commitments
• Model checking agent communication

This page was built for publication: SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

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