TY  - RPRT
TI  - Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation
AU  - Chenxi Yang
AU  - Greg Anderson
AU  - Swarat Chaudhuri
PY  - 2023
UR  - https://arxiv.org/abs/2301.11374
ID  - 2301.11374
ER  -