Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks - Tian, Jiaxu; Zhi, Dapeng; Liu, Si; Wang, Peixin; Chen, Cheng; Zhang, Min (Advances in Neural Information Processing Systems, 2023)