Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jiaxu Tian
Observed name:
Tian, Jiaxu
Institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
Observed institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
ORCID:
0000-0002-7652-5466
Observed ORCID:
0000-0002-7652-5466
OpenAlex ID:
A5032386338
Trainify: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning
2022
·
Peng Jin
, Jiaxu Tian
, et al.
·
Lecture notes in computer science
·
37
PDF
Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training
2023
·
Jiaxu Tian
, Dapeng Zhi
, et al.
·
Lecture notes in computer science
·
7
PDF
Boosting Verification of Deep Reinforcement Learning via Piece-Wise Linear Decision Neural Networks
2023
·
Jiaxu Tian
, Dapeng Zhi
, et al.
·
neural information processing systems
·
3
Show more works
View as search
Works count:
5
Citation count:
47
H-index:
3
I10-index:
1
Year
Topic
Type
