Login / Signup
Jiaxu Tian
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 5
Top Topics
Reinforcement Learning
Timed Automata
Reachability Analysis
Black Boxes
Top Venues
CoRR
VMCAI (2)
CAV (1)
NeurIPS
</>
Publications
</>
Jiaxu Tian
,
Dapeng Zhi
,
Si Liu
,
Peixin Wang
,
Guy Katz
,
Min Zhang
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training.
VMCAI (2)
(2024)
Jiaxu Tian
,
Fan Lyu
Parameter-Selective Continual Test-Time Adaptation.
CoRR
(2024)
Jiaxu Tian
,
Dapeng Zhi
,
Si Liu
,
Peixin Wang
,
Cheng Chen
,
Min Zhang
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks.
NeurIPS
(2023)
Jiaxu Tian
,
Dapeng Zhi
,
Si Liu
,
Peixin Wang
,
Guy Katz
,
Min Zhang
BBReach: Tight and Scalable Black-Box Reachability Analysis of Deep Reinforcement Learning Systems.
CoRR
(2022)
Peng Jin
,
Jiaxu Tian
,
Dapeng Zhi
,
Xuejun Wen
,
Min Zhang
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning.
CAV (1)
(2022)