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

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.

reinforcement-learning Reinforcement Learning (RL)