Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
DOI10.1007/978-3-540-93920-7_6zbMATH Open1207.68403OpenAlexW1863523572MaRDI QIDQ3601787FDOQ3601787
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
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
Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)
Cites Work
- Alternating-time temporal logic
- Title not available (Why is that?)
- Comparing semantics of logics for multi-agent systems
- Title not available (Why is that?)
- Results on the propositional \(\mu\)-calculus
- An axiomatization of PCTL*
- A hierarchy of temporal logics with past
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Algorithms for Omega-Regular Games with Imperfect Information
- Specification in CTL + past for verification in CTL.
- Title not available (Why is that?)
- Model Checking on Trees with Path Equivalences
- Constructive knowledge: what agents can achieve under imperfect information
- Complete axiomatization and decidability of alternating-time temporal logic
- Model checking abilities of agents: a closer look
- Infinite trees and automaton-definable relations over \(\omega\)-words
- Alternating-time logic with imperfect recall
- On epistemic temporal strategic logic
- Axioms for logics of knowledge and past time: synchrony and unique initial states
Cited In (5)
- Partial information and uniform strategies
- Title not available (Why is that?)
- 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)