A Hennessy-Milner Theorem for ATL with Imperfect Information

@article{Belardinelli2020AHT,
  title={A Hennessy-Milner Theorem for ATL with Imperfect Information},
  author={Francesco Belardinelli and Catalin Dima and Vadim Malvone and Ferucio Laurentiu Tiplea},
  journal={Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science},
  year={2020}
}
  • Francesco Belardinelli, Catalin Dima, +1 author Ferucio Laurentiu Tiplea
  • Published 2020
  • Computer Science
  • Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science
  • We show that a history-based variant of alternating bisimulation with imperfect information allows it to be related to a variant of Alternating-time Temporal Logic (ATL) with imperfect information by a full Hennessy-Milner theorem. The variant of ATL we consider has a common knowledge semantics, which requires that the uniform strategy available for a coalition to accomplish some goal must be common knowledge inside the coalition, while other semantic variants of ATL with imperfect information… CONTINUE READING

    Figures, Tables, and Topics from this paper.

    References

    Publications referenced by this paper.

    Alternating-time temporal logic

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL