Jiaxu Tian

According to our database, Jiaxu Tian authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

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

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2022

BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.

Jiaxu Tian, Dapeng Zhi, Si Liu, Peixin Wang, Guy Katz, Min Zhang

CoRR, 2022

Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.

Peng Jin, Jiaxu Tian, Dapeng Zhi, Xuejun Wen, Min Zhang

Proceedings of the Computer Aided Verification - 34th International Conference, 2022