A deep reinforcement learning framework with formal verification

DOI10.1145/3577204MaRDI QIDQ6610260zbMATH OpenFDO

Authors Zakaryae Boudi, Abderrahim Ait Wakrime, Mohamed Haloua

Publication date 25 September 2024

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3577204

zbMATH Keywords

AI controlAtelier Bevent-Bformal verificationmodel transformationsafe AIsafe RL

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• An introduction to deep reinforcement learning
• scientific article; zbMATH DE number 4154239 (Why is no real title available?)
• scientific article; zbMATH DE number 795668 (Why is no real title available?)
• Modeling in Event B. System and software engineering.
• Reinforcement learning. An introduction

This page was built for publication: A deep reinforcement learning framework with formal verification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6610260)