ML Anthology

Wang, Peixin

3 publications

ICLRW 2025 Verifying Omega-Regular Properties of Neural Network-Controlled Systems via Proof Certificates Peixin Wang, Jianhao Bai, Dapeng Zhi, Min Zhang, Luke Ong
AAAI 2024 Robustness Verification of Deep Reinforcement Learning Based Control Systems Using Reward Martingales Dapeng Zhi, Peixin Wang, Cheng Chen, Min Zhang
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