Login / Signup
A Deep Reinforcement Learning Framework with Formal Verification.
Zakaryae Boudi
Abderrahim Ait Wakrime
Mohamed Toub
Mohamed Haloua
Published in:
Formal Aspects Comput. (2023)
Keyphrases
</>
formal verification
reinforcement learning
model checking
function approximation
probabilistic model
open source
main contribution
orders of magnitude
automated reasoning