Polynomial-Time Under-Approximation of Winning Regions in Parity Games (Q4982057)

From MaRDI portal
Revision as of 06:17, 14 November 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article; zbMATH DE number 6418430
Language Label Description Also known as
English
Polynomial-Time Under-Approximation of Winning Regions in Parity Games
scientific article; zbMATH DE number 6418430

    Statements

    Polynomial-Time Under-Approximation of Winning Regions in Parity Games (English)
    0 references
    0 references
    0 references
    0 references
    23 March 2015
    0 references
    parity games
    0 references
    abstraction
    0 references
    computational complexity
    0 references
    algorithms
    0 references

    Identifiers

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