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)

Full work available at URL https://doi.org/10.3233/FI-2017-1519

zbMATH Keywords

commitment action modalitiesconditional commitmentconditional commitment actionsexpressivenesssymbolic model checkerverification

Mathematics Subject Classification ID

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

Recommendations

• Model checking logics for communicating sequential agents
• mcmas: A Model Checker for Multi-agent Systems
• Validation of multiagent systems by symbolic model checking
• Logics in Artificial Intelligence
• Model checking agent communication
• Structural model checking for communicating hierarchical machines
• 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

(3)

• Model checking agent communication
• On the SMT-based verification of communicative commitments
• Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems

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)