scientific article; zbMATH DE number 7311252

zbMATH Open1456.68097MaRDI QIDQ5151003FDOQ5151003

Authors: Cătălin Dima, Constantin Enea, Dimitar P. Guelev 

Publication date: 16 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?GANDALF10.12

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

Recommendations

• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• scientific article; zbMATH DE number 2112166
• Model checking temporal-epistemic logic using alternating tree automata
• scientific article; zbMATH DE number 1500666
• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
• Bounded model checking for temporal epistemic logic in synchronous multi-agent systems
• Parameterised model checking for alternating-time temporal logic
• Parallel model checking for temporal epistemic logic
• Alternating-time temporal logic with finite-memory strategies

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cited In (9)

• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Alternating-time logic with imperfect recall
• Exponential improvement of time complexity of model checking for multiagent systems with perfect recall
• Approximate verification of strategic abilities under imperfect information
• Concepts, agents, and coalitions in alternating time
• Constructive knowledge: what agents can achieve under imperfect information
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
• A Hennessy-Milner theorem for ATL with imperfect information

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 Q5151003)