Jiaxu Tian
According to our database1,
Jiaxu Tian
authored at least 5 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024
2023
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks.
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.
CoRR, 2022
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.
Proceedings of the Computer Aided Verification - 34th International Conference, 2022