Alert button
Picture for Xuejun Wen

Xuejun Wen

Alert button

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

Jun 13, 2021
Peng Jin, Min Zhang, Jianwen Li, Li Han, Xuejun Wen

Figure 1 for Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning
Figure 2 for Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning
Figure 3 for Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning
Figure 4 for Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning
Viaarxiv icon