Login / Signup

A Deep Reinforcement Learning Framework with Formal Verification.

Zakaryae BoudiAbderrahim Ait WakrimeMohamed ToubMohamed 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