no code implementations • 13 Jun 2021 • Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen
Formally verifying Deep Reinforcement Learning (DRL) systems is a challenging task due to the dynamic continuity of system behaviors and the black-box feature of embedded neural networks.