Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

DOI10.1007/978-3-642-00431-5_7zbMath1226.68043OpenAlexW1552474335MaRDI QIDQ3614879

Alessio Lomuscio, Wojciech Penczek, Hongyang Qu

Publication date: 17 March 2009

Published in: Model Checking and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00431-5_7

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) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Uses Software

• MCMAS
• Verics
• MCK

Cites Work

• Formal theories of knowledge in AI and robotics
• A technique of state space search based on unfolding
• A partial order approach to branching time logic model checking.
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Knowledge and common knowledge in a distributed environment
• Stronger Reduction Criteria for Local First Search
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Computer Aided Verification
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic