Parallel model checking for temporal epistemic logic

DOI10.3233/978-1-60750-606-5-543MaRDI QIDQ2999187zbMATH OpenFDO

Authors Marta Kwiatkowska, Alessio Lomuscio, Hongyang Qu

Publication date 11 May 2011

Full work available at URL https://doi.org/10.3233/978-1-60750-606-5-543

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) Temporal logic (03B44)

Recommendations

• Model checking temporal-epistemic logic using alternating tree automata
• Bounded model checking for temporal epistemic logic in synchronous multi-agent systems
• scientific article; zbMATH DE number 2182497
• scientific article; zbMATH DE number 2064229
• Symbolic model checking for temporal-epistemic logic

Cited in

(15)

• Bounded model checking for temporal epistemic logic in synchronous multi-agent systems
• Parameterised verification for multi-agent systems
• Symbolic Model Checking of Logics with Actions
• scientific article; zbMATH DE number 2182497 (Why is no real title available?)
• scientific article; zbMATH DE number 7311252 (Why is no real title available?)
• scientific article; zbMATH DE number 2112166 (Why is no real title available?)
• Partial order reductions for model checking temporal-epistemic logics over interleaved multi-agent systems
• scientific article; zbMATH DE number 2064229 (Why is no real title available?)
• Optimizing epistemic model checking using conditional independence (extended abstract)
• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
• Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
• Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers
• Improved Bounded Model Checking for a Fair Branching-Time Temporal Epistemic Logic
• Model checking temporal-epistemic logic using alternating tree automata
• Symbolic model checking for temporal-epistemic logic

Describes a project that uses

Uses Software

• CUDD

This page was built for publication: Parallel model checking for temporal epistemic logic

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