Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning

Peng Jin, Min Zhang, Jianwen Li +2

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 ne…