Model checking logics for communicating sequential agents

DOI10.1007/3-540-49019-1_16MaRDI QIDQ4260709zbMATH OpenFDO

Authors Michaela Huhn, Peter Niebert, Frank Wallner

Publication date 1 September 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-49019-1_16

zbMATH Keywords

communicating sequential agentsdistributed systemgossip modalitieslocal knowledgemodel checking algorithmmulti-modal Kripke structuretemporal logictemporal modalities

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 2112166
• scientific article; zbMATH DE number 1497792

Cited in

(6)

• scientific article; zbMATH DE number 1678358 (Why is no real title available?)
• TEMPORAL LOGICS FOR COMMUNICATING SEQUENTIAL AGENTS: I
• scientific article; zbMATH DE number 1497792 (Why is no real title available?)
• SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
• Mathematical Foundations of Computer Science 2004
• Computational Logic in Multi-Agent Systems

This page was built for publication: Model checking logics for communicating sequential agents

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