A Data Symmetry Reduction Technique for Temporal-epistemic Logic

DOI10.1007/978-3-642-04761-9_6zbMath1262.68110OpenAlexW2152326157MaRDI QIDQ3648692

Mads Dam, Hongyang Qu, Mika Cohen, Alessio Lomuscio

Publication date: 1 December 2009

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04761-9_6

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (4)

Model checking and strategy synthesis for multi-agent systems for resource allocation ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Automatic Data-Abstraction in Model Checking Multi-Agent Systems ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems

Uses Software

• VerICS
• MCMAS

This page was built for publication: A Data Symmetry Reduction Technique for Temporal-epistemic Logic