Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Synthesising Succinct Strategies in Safety and Reachability Games
scientific article

    Statements

    Synthesising Succinct Strategies in Safety and Reachability Games (English)
    0 references
    0 references
    0 references
    0 references
    28 October 2015
    0 references

    Identifiers