scientific article; zbMATH DE number 5051662

MaRDI QIDQ5486072zbMATH OpenFDO

Authors

Publication date 6 September 2006

zbMATH Keywords

chain logicsecond order logic of monadic successors

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Systems of agents controlled by logical programs: complexity of verification
• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
• Specification and Verification of Multi-Agent Systems
• Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
• Well-structured model checking of multiagent systems
• Exponential acceleration of model checking for perfect recall systems
• scientific article; zbMATH DE number 1500666 (Why is no real title available?)
• Model Checking Knowledge and Linear Time: PSPACE Cases
• Knowledge acquisition in multi-agent systems: a formalization of the Eleusis card game

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)