Completeness of bounded model checking temporal logic of knowledge

MaRDI QIDQ3016942zbMATH OpenFDO

Authors Zhifeng Liu, Yun Ge, Dong Zhang, Conghua Zhou

Publication date 19 July 2011

zbMATH Keywords

bounded model checkingmulti-agent systemtemporal logics of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Agent technology and artificial intelligence (68T42)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• Linear completeness thresholds for bounded model checking
• On the magnitude of completeness thresholds in bounded model checking
• Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
• scientific article; zbMATH DE number 2182497

Cited in

(7)

• Bounded model checking for knowledge and real time
• On the magnitude of completeness thresholds in bounded model checking
• Linear completeness thresholds for bounded model checking
• Achieving completeness in the verification of action theories by bounded model checking in ASP
• scientific article; zbMATH DE number 2182497 (Why is no real title available?)
• scientific article; zbMATH DE number 5051662 (Why is no real title available?)
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Completeness of bounded model checking temporal logic of knowledge

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