scientific article; zbMATH DE number 1500666
From MaRDI portal
Publication:4501688
zbMath0958.68119MaRDI QIDQ4501688
Ron van der Meyden, N. V. Shilov
Publication date: 9 April 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
Related Items (max. 100)
Model Checking Information Flow in Reactive Systems ⋮ Specification and Verification of Multi-Agent Systems ⋮ Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams ⋮ A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic ⋮ Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus ⋮ Combined model checking for temporal, probabilistic, and real-time logics ⋮ Exponential improvement of time complexity of model checking for multiagent systems with perfect recall ⋮ To know or not to know: Epistemic approaches to security protocol verification ⋮ Unnamed Item ⋮ Infinite games with finite knowledge gaps ⋮ Using temporal logics of knowledge for specification and verification -- a case study ⋮ Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions ⋮ Model-checking graded computation-tree logic with finite path semantics ⋮ Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall ⋮ Bounded model checking for knowledge and real time ⋮ Uniform strategies, rational relations and jumping automata ⋮ A Compositional Automata-based Approach for Model Checking Multi-Agent Systems ⋮ Parameterised verification for multi-agent systems
This page was built for publication:
