Towards Partial Order Reduction for Model Checking Temporal Epistemic Logic

DOI10.1007/978-3-642-00431-5_7zbMATH Open1226.68043OpenAlexW1552474335MaRDI QIDQ3614879FDOQ3614879

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

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

Mathematics Subject Classification ID

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

Cites Work

• Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)
• Knowledge and common knowledge in a distributed environment
• Title not available (Why is that?)
• Computer Aided Verification
• A technique of state space search based on unfolding
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Complete Axiomatizations for Reasoning about Knowledge and Time
• A partial order approach to branching time logic model checking.
• Title not available (Why is that?)
• Formal theories of knowledge in AI and robotics
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)