A three-value abstraction technique for the verification of epistemic properties in multi-agent systems

DOI10.1007/978-3-319-48758-8_8MaRDI QIDQ2835866zbMATH OpenOpenAlexFDO

Authors Francesco Belardinelli, Alessio Lomuscio

Publication date 30 November 2016

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-48758-8_8

zbMATH Keywords

epistemic logicformal verification by model checkinglogics in multi-agent systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Abstractions of Multi-agent Systems
• scientific article; zbMATH DE number 2064229
• Automatic data-abstraction in model checking multi-agent systems
• scientific article; zbMATH DE number 2182497
• Abstraction for model checking multi-agent systems

Cites work

• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 35414 (Why is no real title available?)
• scientific article; zbMATH DE number 97789 (Why is no real title available?)
• scientific article; zbMATH DE number 1953032 (Why is no real title available?)
• scientific article; zbMATH DE number 6902518 (Why is no real title available?)
• scientific article; zbMATH DE number 221548 (Why is no real title available?)
• scientific article; zbMATH DE number 2102703 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A data symmetry reduction technique for temporal-epistemic logic
• Abstractions of Multi-agent Systems
• Automata, Languages and Programming
• Bounded situation calculus action theories
• Computer Aided Verification
• Model checking auctions as artifact systems: decidability via finite abstraction
• Symbolic model checking for temporal-epistemic logic
• Tools and Algorithms for the Construction and Analysis of Systems
• VERICS 2007 -- a model checker for knowledgee and real-time
• Verification of agent-based artifact systems

Cited in

(3)

• Automatic data-abstraction in model checking multi-agent systems
• Abstractions of Multi-agent Systems
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Describes a project that uses

Uses Software

• MCK
• MCMAS
• VerICS

This page was built for publication: A three-value abstraction technique for the verification of epistemic properties in multi-agent systems

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