Symbolic Model Checking for Temporal-Epistemic Logic

DOI10.1007/978-3-642-29414-3_10zbMath1356.68144OpenAlexW1987574788MaRDI QIDQ2900477

Alessio Lomuscio, Wojciech Penczek

Publication date: 23 July 2012

Published in: Logic Programs, Norms and Action (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29414-3_10

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 (2)

To know or not to know: Epistemic approaches to security protocol verification ⋮ A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems

Uses Software

• SPIN
• NuSMV
• CUDD
• MCMAS
• Verics
• MCK

This page was built for publication: Symbolic Model Checking for Temporal-Epistemic Logic