A compositional automata-based approach for model checking multi-agent systems

DOI10.1016/J.ENTCS.2007.08.030MaRDI QIDQ2873614zbMATH OpenOpenAlexFDO

Authors Mario Benevides, Carla Delgado, Carlos Pombo, Luis Lopes, Ricardo Ribeiro

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2007.08.030

zbMATH Keywords

epistemic modal logicsmodel checkingmulti-agent systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 2112166
• Model checking temporal-epistemic logic using alternating tree automata
• scientific article; zbMATH DE number 1202873
• scientific article; zbMATH DE number 1759731
• Combined model checking for temporal, probabilistic, and real-time logics

Cites work

• Alternating-time temporal logic
• Compositional verification of multi-agent systems in temporal multi-epistemic logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• scientific article; zbMATH DE number 1202873 (Why is no real title available?)
• scientific article; zbMATH DE number 1500666 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• The temporal logic of branching time

Cited in

(8)

• Automatic composition and reasoning in computational multi-agent systems
• mcmas: A Model Checker for Multi-agent Systems
• scientific article; zbMATH DE number 5149154 (Why is no real title available?)
• Abstraction for model checking multi-agent systems
• Combined model checking for temporal, probabilistic, and real-time logics
• scientific article; zbMATH DE number 1759731 (Why is no real title available?)
• SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication
• Stochastic Semantics of Signaling as a Composition of Agent-view Automata

This page was built for publication: A compositional automata-based approach for model checking multi-agent systems

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