Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (Q5100749)

From MaRDI portal
scientific article; zbMATH DE number 7580926
Language Label Description Also known as
English
Synthesis for Multi-weighted Games with Branching-Time Winning Conditions
scientific article; zbMATH DE number 7580926

    Statements

    Synthesis for Multi-weighted Games with Branching-Time Winning Conditions (English)
    0 references
    0 references
    0 references
    0 references
    1 September 2022
    0 references

    Identifiers