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

DOI10.1007/978-3-540-93920-7_6zbMath1207.68403MaRDI QIDQ3601787

Catalin Dima, Dimitar P. Guelev

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

68T30: Knowledge representation

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

03B44: Temporal logic

68T42: Agent technology and artificial intelligence

Cites Work

• A hierarchy of temporal logics with past
• Results on the propositional \(\mu\)-calculus
• Infinite trees and automaton-definable relations over \(\omega\)-words
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Specification in CTL + past for verification in CTL.
• Complete axiomatization and decidability of alternating-time temporal logic
• Comparing semantics of logics for multi-agent systems
• Model checking abilities of agents: a closer look
• An axiomatization of PCTL*
• Alternating-time temporal logic
• Constructive knowledge: what agents can achieve under imperfect information
• Algorithms for Omega-Regular Games with Imperfect Information
• Model Checking on Trees with Path Equivalences
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item