A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems

DOI10.1007/978-3-319-48758-8_8zbMath1483.68417OpenAlexW2543054525MaRDI QIDQ2835866

Alessio Lomuscio, Francesco Belardinelli

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

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

Related Items (1)

An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information

Uses Software

• VerICS
• MCMAS
• MCK

Cites Work

• Bounded situation calculus action theories
• Symbolic Model Checking for Temporal-Epistemic Logic
• Verification of Agent-Based Artifact Systems
• Abstractions of Multi-agent Systems
• A Data Symmetry Reduction Technique for Temporal-epistemic Logic
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Automata, Languages and Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems