Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training.

Junfeng Yang, Min Zhang, Xin Chen, Qin Li

Browse the full VMCAI paper archive.