• Sign in
  • Sign up
conf.researchr.org / Jiaxu Tian
  • POPL 2024 profile
No Photo

Registered user since Tue 26 Apr 2022

Name:Jiaxu Tian

Contributions

2024

VMCAI

  • Author of Taming Reachability Analysis of DNN-Controlled Systems via Abstraction-Based Training within the VMCAI 2024-track
Share
xMon 19 May 07:19
using conf.researchr.org (v1.69.0)
Support page
Sign Up