ML Anthology

Tian, Jiaxu

1 publications

NeurIPS 2023 Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Cheng Chen, Min Zhang