Abstraction for model checking multi-agent systems

DOI10.1007/S11704-010-0358-YMaRDI QIDQ352029zbMATHOpenAlexFDO

Authors Conghua Zhou, Zhifeng Liu, Bo Sun

Publication date 4 July 2013

Published in Frontiers of Computer Science in China (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11704-010-0358-y

zbMATH Keywords

model checkingabstractionrefinementepistemic temporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 2215634
• Automatic data-abstraction in model checking multi-agent systems
• scientific article; zbMATH DE number 1202873
• scientific article; zbMATH DE number 1759731
• Model-checking for heterogeneous multi-agent systems
• Well-structured model checking of multiagent systems
• Abstractions of Multi-agent Systems
• A compositional automata-based approach for model checking multi-agent systems
• Model checking multi-agent systems with logic based Petri nets

Cites work

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 438994 (Why is no real title available?)
• scientific article; zbMATH DE number 88991 (Why is no real title available?)
• scientific article; zbMATH DE number 2064229 (Why is no real title available?)
• scientific article; zbMATH DE number 2087624 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Abstractions of Multi-agent Systems
• Bounded model checking for temporal epistemic logic in synchronous multi-agent systems
• Proving partial order properties
• The dining cryptographers problem: Unconditional sender and recipient untraceability

Cited in

(8)

• scientific article; zbMATH DE number 1759731 (Why is no real title available?)
• scientific article; zbMATH DE number 6902518 (Why is no real title available?)
• A three-value abstraction technique for the verification of epistemic properties in multi-agent systems
• Abstractions of Multi-agent Systems
• mcmas: A Model Checker for Multi-agent Systems
• Automatic data-abstraction in model checking multi-agent systems
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
• Counter abstraction for regular open teams

This page was built for publication: Abstraction 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 Q352029)