Quasipolynomial Set-Based Symbolic Algorithms for Parity Games (Q5222958)

From MaRDI portal
scientific article; zbMATH DE number 7076871
Language Label Description Also known as
English
Quasipolynomial Set-Based Symbolic Algorithms for Parity Games
scientific article; zbMATH DE number 7076871

    Statements

    Quasipolynomial Set-Based Symbolic Algorithms for Parity Games (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    4 July 2019
    0 references
    0 references
    graph games
    0 references
    model checking
    0 references
    parity games
    0 references
    progress measure
    0 references
    symbolic computation
    0 references
    0 references
    0 references