scientific article; zbMATH DE number 5051662

zbMATH Open1097.68077MaRDI QIDQ5486072FDOQ5486072

Authors:

Publication date: 6 September 2006

Title of this publication is not available (Why is that?)

Recommendations

• Modalities for model checking: Branching time logic strikes back
• scientific article; zbMATH DE number 2087624
• The complexity of epistemic model checking: clock semantics and branching time
• A New Approach to Bounded Model Checking for Branching Time Logics
• Bounded model checking for knowledge and real time
• Model checking for hybrid branching-time logics
• Abstraction and Refinement in Model Checking
• Completeness of bounded model checking temporal logic of knowledge
• An automata-theoretic approach to branching-time model checking

zbMATH Keywords

chain logicsecond order logic of monadic successors

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (7)

• Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game
• Well-structured model checking of multiagent systems
• Model Checking Knowledge and Linear Time: PSPACE Cases
• Systems of agents controlled by logical programs: complexity of verification
• Specification and Verification of Multi-Agent Systems
• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
• Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall

This page was built for publication:

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