Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

DOI10.1007/978-3-642-00431-5_7MaRDI QIDQ3614879zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems
• A partial order approach to branching time logic model checking.
• Symbolic model checking for temporal-epistemic logic
• A data symmetry reduction technique for temporal-epistemic logic
• scientific article; zbMATH DE number 1059330

Cites work

• A partial order approach to branching time logic model checking.
• A technique of state space search based on unfolding
• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Computer Aided Verification
• Formal theories of knowledge in AI and robotics
• scientific article; zbMATH DE number 3902018 (Why is no real title available?)
• scientific article; zbMATH DE number 52331 (Why is no real title available?)
• scientific article; zbMATH DE number 177254 (Why is no real title available?)
• scientific article; zbMATH DE number 177511 (Why is no real title available?)
• scientific article; zbMATH DE number 1956587 (Why is no real title available?)
• scientific article; zbMATH DE number 2064229 (Why is no real title available?)
• scientific article; zbMATH DE number 1515293 (Why is no real title available?)
• scientific article; zbMATH DE number 2182497 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• Knowledge and common knowledge in a distributed environment
• Stronger Reduction Criteria for Local First Search

Cited in

(3)

• A partial order approach to branching time logic model checking.
• Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems
• A data symmetry reduction technique for temporal-epistemic logic

Describes a project that uses

Uses Software

• MCMAS
• Verics
• MCK

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3614879)