A Hennessy-Milner Theorem for ATL with Imperfect Information (Q5145630)

From MaRDI portal
scientific article; zbMATH DE number 7299468
Language Label Description Also known as
English
A Hennessy-Milner Theorem for ATL with Imperfect Information
scientific article; zbMATH DE number 7299468

    Statements

    A Hennessy-Milner Theorem for ATL with Imperfect Information (English)
    0 references
    0 references
    0 references
    0 references
    21 January 2021
    0 references
    ATL
    0 references
    bisimulation
    0 references
    concurrent game structures with imperfect information
    0 references
    Gale-Stewart determinacy
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references