Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

DOI10.1007/978-3-540-93920-7_6MaRDI QIDQ3601787zbMATH OpenOpenAlexFDO

Authors Dimitar P. Guelev, Cătălin Dima

Publication date 12 February 2009

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

Full work available at URL https://doi.org/10.1007/978-3-540-93920-7_6

Mathematics Subject Classification ID

Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 7311252
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• Theoretical Computer Science
• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• Model checking abilities of agents: a closer look

Cites work

• scientific article; zbMATH DE number 1500666 (Why is no real title available?)
• scientific article; zbMATH DE number 2182496 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A hierarchy of temporal logics with past
• Algorithms for Omega-Regular Games with Imperfect Information
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• An axiomatization of PCTL*
• Axioms for logics of knowledge and past time: synchrony and unique initial states
• Comparing semantics of logics for multi-agent systems
• Complete axiomatization and decidability of alternating-time temporal logic
• Constructive knowledge: what agents can achieve under imperfect information
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Infinite trees and automaton-definable relations over -words
• Model Checking on Trees with Path Equivalences
• Model checking abilities of agents: a closer look
• On epistemic temporal strategic logic
• Results on the propositional \(\mu\)-calculus
• Specification in CTL + past for verification in CTL.

Cited in

(5)

• Partial information and uniform strategies
• scientific article; zbMATH DE number 7533366 (Why is no real title available?)
• A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability
• SMC: synthesis of uniform strategies and verification of strategic ability for multi-agent systems
• Action and knowledge in alternating-time temporal logic

This page was built for publication: Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions

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