\(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) (Q2094389)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\)
scientific article

    Statements

    \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    28 October 2022
    0 references
    temporal hierarchy
    0 references
    expressive power
    0 references
    LTL
    0 references
    reactivity
    0 references
    formal methods
    0 references

    Identifiers