scientific article; zbMATH DE number 2087624
From MaRDI portal
Publication:4738471
zbMath1077.68708MaRDI QIDQ4738471
Wiebe van der Hoek, Michael Wooldridge
Publication date: 11 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2318/23180095.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items (11)
Specification and Verification of Multi-Agent Systems ⋮ A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic ⋮ Minimal Proof Search for Modal Logic K Model Checking ⋮ Abstraction for model checking multi-agent systems ⋮ Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ 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 ⋮ Bounded model checking for knowledge and real time ⋮ Refinement of Kripke Models for Dynamics
This page was built for publication:
