TY  - RPRT
TI  - Learning on Abstract Domains: A New Approach for Verifiable Guarantee in Reinforcement Learning
AU  - Peng Jin
AU  - Min Zhang
AU  - Jianwen Li
AU  - Li Han
AU  - Xuejun Wen
PY  - 2021
UR  - https://arxiv.org/abs/2106.06931
ID  - 2106.06931
ER  -