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

DOI10.1007/978-3-319-48758-8_8zbMATH Open1483.68417OpenAlexW2543054525MaRDI QIDQ2835866FDOQ2835866

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

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

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)

Cites Work

• VERICS 2007 -- a model checker for knowledgee and real-time
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata, Languages and Programming
• Bounded situation calculus action theories
• Verification of agent-based artifact systems
• Computer Aided Verification
• Abstractions of Multi-agent Systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Symbolic model checking for temporal-epistemic logic
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• A data symmetry reduction technique for temporal-epistemic logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model checking auctions as artifact systems: decidability via finite abstraction

Cited In (3)

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

Uses Software

• VerICS
• MCMAS
• MCK

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)