SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication

DOI10.3233/FI-2017-1519zbMath1375.68078MaRDI QIDQ4595595

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

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)

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