Model checking knowledge and time

DOI10.1007/3-540-46017-9_9MaRDI QIDQ4738471zbMATH OpenFDO

Authors Wiebe van der Hoek, M. J. Wooldridge

Publication date 11 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2318/23180095.htm

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)

Recommendations

• scientific article; zbMATH DE number 2112166
• Computer Aided Verification
• Model checking knowledge and time in systems with perfect recall. (Extended abstract)
• Model Checking Knowledge and Linear Time: PSPACE Cases
• Symbolic model checking for temporal-epistemic logic

Cited in

(22)

• Bounded model checking for knowledge and real time
• Interpreting logics of knowledge in propositional dynamic logic
• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
• Model checking propositional dynamic logic with all extras
• Using temporal logics of knowledge for specification and verification -- a case study
• Towards verification of dialogue protocols: a mathematical model
• Minimal Proof Search for Modal Logic K Model Checking
• The complexity of epistemic model checking: clock semantics and branching time
• Specification and Verification of Multi-Agent Systems
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Abstraction for model checking multi-agent systems
• Combined model checking for temporal, probabilistic, and real-time logics
• Model checking knowledge and time in systems with perfect recall. (Extended abstract)
• Efficient model checking of causal-knowledge protocols
• scientific article; zbMATH DE number 2112166 (Why is no real title available?)
• Computer Aided Verification
• Symbolic Model Checking of Logics with Actions
• Model Checking Knowledge and Linear Time: PSPACE Cases
• scientific article; zbMATH DE number 5051662 (Why is no real title available?)
• Refinement of Kripke Models for Dynamics
• Interpreting knowledge-based programs
• Second-order hyperproperties

This page was built for publication: Model checking knowledge and time

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