Certified reinforcement learning with logic guidance (Q6136089)

From MaRDI portal
Revision as of 18:46, 30 December 2024 by Import241228121245 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)





scientific article; zbMATH DE number 7732224
Language Label Description Also known as
English
Certified reinforcement learning with logic guidance
scientific article; zbMATH DE number 7732224

    Statements

    Certified reinforcement learning with logic guidance (English)
    0 references
    0 references
    0 references
    0 references
    28 August 2023
    0 references
    reinforcement learning
    0 references
    control synthesis
    0 references
    policy synthesis
    0 references
    formal methods
    0 references
    temporal logics
    0 references
    automata
    0 references
    Markov decision processes
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers