Jiaxu Tian

According to our database1, Jiaxu Tian authored at least 5 papers between 2022 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Parameter-Selective Continual Test-Time Adaptation.
CoRR, 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


  Loading...