Login / Signup

Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.

Peng JinJiaxu TianDapeng ZhiXuejun WenMin Zhang
Published in: CAV (1) (2022)
Keyphrases
  • reinforcement learning
  • main contribution
  • lightweight
  • machine learning
  • training set
  • artificial neural networks
  • data driven
  • conceptual framework