Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Robustness verification of semantic segmentation neural networks using relaxed reachability
scientific article

    Statements

    Robustness verification of semantic segmentation neural networks using relaxed reachability (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    25 March 2022
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers