Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

@inproceedings{Dima2010ModelCheckingAA,
  title={Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions},
  author={Catalin Dima and Constantin Enea and Dimitar P. Guelev},
  booktitle={GANDALF},
  year={2010}
}
  • Catalin Dima, Constantin Enea, Dimitar P. Guelev
  • Published in GANDALF 2010
  • Computer Science
  • We present a variant of ATL with distributed knowledge operators based on a synchronous and perfect recall semantics. The coalition modalities in t his logic are based on partial observation of the full history, and incorporate a form of cooperation between members of the coalition in which agents issue their actions based on the distributed knowledge, for that coalition, of the system history. We show that model-checking is decidable for this logic. The technique utilizes two variants of games… CONTINUE READING

    Figures and Topics from this paper.

    Pylephlebitis due to perforated appendicitis in a teenager
    15
    Proprotein convertase inhibition: Paralyzing the cell's master switches
    14
    The virtues of balm in late medieval literature.
    9

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 19 REFERENCES
    CD and small‐angle x‐ray scattering of silk fibroin in solution
    42