Quantitative safety and liveness (Q6091203)

From MaRDI portal
scientific article; zbMATH DE number 7770345
Language Label Description Also known as
English
Quantitative safety and liveness
scientific article; zbMATH DE number 7770345

    Statements

    title
    Quantitative safety and liveness (English)
    0 references
    author
    Thomas A. Henzinger
    0 references
    Nicolas Mazzocchi
    0 references
    N. Ege Saraç
    0 references
    publication date
    24 November 2023
    0 references
    cites work
    Q4449238
    0 references
    Defining liveness
    0 references
    Average-energy games
    0 references
    Simulation distances
    0 references
    Quantitative languages
    0 references
    Q5874206
    0 references
    Q4472252
    0 references
    Probably safe or live
    0 references
    Q4426372
    0 references
    Weighted Safety
    0 references

    Identifiers

    arXiv ID
    2301.11175
    0 references
    zbMATH DE Number
    7770345
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6091203&oldid=37606641"
    Powered by MediaWiki