Explainable Reactive Synthesis (Q6485897)

From MaRDI portal
scientific article; zbMATH DE number 7636258
Language Label Description Also known as
English
Explainable Reactive Synthesis
scientific article; zbMATH DE number 7636258

    Statements

    title
    Explainable Reactive Synthesis (English)
    0 references
    author
    Q6485895
    0 references
    Bernd Finkbeiner
    0 references
    Hazem Torfah
    0 references
    published in
    1517.68223
    0 references
    publication date
    22 December 2022
    0 references

    Identifiers

    zbMATH DE Number
    7636258
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q6485897&oldid=37945094"
    Powered by MediaWiki