Towards Scalable Verification of Deep Reinforcement Learning (Q6368489)

From MaRDI portal





preprint article from arXiv
Language Label Description Also known as
English
Towards Scalable Verification of Deep Reinforcement Learning
preprint article from arXiv

    Statements

    25 May 2021
    0 references
    cs.LG
    0 references
    cs.NI
    0 references
    math.OC
    0 references
    Guy Amir
    0 references
    Michael Schapira
    0 references
    Guy Katz
    0 references

    Identifiers

    0 references